Entry Myhill:1973:SPI from lnm1970.bib
Last update: Sat Oct 14 02:51:54 MDT 2017
Top |
Symbols |
Numbers |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Myhill:1973:SPI,
author = "John Myhill",
title = "Some properties of intuitionistic {Zermelo--Frankel}
set theory",
journal = j-LECT-NOTES-MATH,
volume = "337",
pages = "206--231",
year = "1973",
CODEN = "LNMAA2",
DOI = "https://doi.org/10.1007/BFb0066775",
ISBN = "3-540-05569-X (print), 3-540-36884-1 (e-book)",
ISBN-13 = "978-3-540-05569-3 (print), 978-3-540-36884-7
(e-book)",
ISSN = "0075-8434 (print), 1617-9692 (electronic)",
ISSN-L = "0075-8434",
MRclass = "02K10 (02C15 02D99)",
MRnumber = "0465863 (57 \#5749)",
MRreviewer = "G. E. Minc",
bibdate = "Fri May 9 19:07:47 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lnm1970.bib",
URL = "http://link.springer.com/chapter/10.1007/BFb0066775/",
acknowledgement = ack-nhfb,
book-DOI = "https://doi.org/10.1007/BFb0066770",
book-URL = "http://www.springerlink.com/content/978-3-540-36884-7",
fjournal = "Lecture Notes in Mathematics",
journal-URL = "http://link.springer.com/bookseries/304",
}
Related entries
- 02C15,
274(0)57,
274(0)83,
337(0)1,
337(0)95,
337(0)113,
337(0)232,
337(0)253,
344(0)324
- 02D99,
274(0)57,
337(0)113,
337(0)171,
337(0)232
- 02K10,
255(0)211
- intuitionistic,
212(0)70,
212(0)79,
306(0)41,
337(0)113,
337(0)171
- Minc, G. E.,
337(0)232
- Myhill, John,
274(0)83
- property,
121(0)36,
131(0)1,
132(0)61,
133(0)40,
135(0)64,
168(0)232,
171(0)17,
171(0)40,
175(0)54,
188(0)23,
188(0)28,
206(0)35,
229(0)106,
231(0)8,
231(0)12,
237(0)58,
246(0)191,
255(0)63,
255(0)98,
256(0)1,
258(0)177,
280(0)202,
287(0)153,
293(0)22,
294(0)21,
301(0)1,
301(0)93,
316(0)67,
322(0)343,
330(0)239,
342(0)135,
350(0)69,
353(0)72,
353(0)152,
362(0)360,
364(0)150,
365(0)177,
369(0)50,
372(0)63,
373(0)232,
374(0)6,
375(0)108,
378(0)41,
391(0)55,
391(0)101,
397(0)89,
398(0)194,
399(0)129,
401(0)18,
405(0)23,
411(0)61,
411(0)99,
425(0)1,
425(0)56,
429(0)74,
429(0)94
- set,
88(0)115,
125(0)276,
144(0)1,
144(0)22,
144(0)153,
160(0)71,
160(0)158,
162(0)43,
171(0)1,
171(0)82,
182(0)77,
182(0)99,
184(0)50,
186(0)9,
192(0)133,
192(0)150,
192(0)153,
192(0)282,
202(0)20,
202(0)46,
202(0)69,
202(0)93,
202(0)124,
202(0)141,
208(0)122,
217(0)12,
217(0)32,
223(0)23,
226(0)1,
235(0)23,
235(0)61,
235(0)134,
255(0)281,
263(0)76,
266(0)23,
266(0)189,
266(0)229,
292(0)124,
298(0)102,
304(0)228,
311(0)90,
318(0)150,
331(0)211,
337(0)299,
337(0)531,
337(0)539,
354(0)1,
354(0)73,
364(0)58,
364(0)123,
369(0)5,
369(0)180,
374(0)124,
378(0)46,
381(0)172,
382(0)103,
384(0)109,
399(0)84,
403(0)109,
406(0)173,
416(0)120