Entry Troelstra:1973:NIS 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{Troelstra:1973:NIS,
author = "A. S. Troelstra",
title = "Notes on intuitionistic second order arithmetic",
journal = j-LECT-NOTES-MATH,
volume = "337",
pages = "171--205",
year = "1973",
CODEN = "LNMAA2",
DOI = "https://doi.org/10.1007/BFb0066774",
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 = "02E05 (02D99)",
MRnumber = "0363826 (51 \#81)",
MRreviewer = "D. Nelson",
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/BFb0066774/",
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
- 02D99,
274(0)57,
337(0)113,
337(0)206,
337(0)232
- 02E05,
344(0)392
- arithmetic,
202(0)69,
217(0)16,
227(0)23,
228(0)86,
251(0)37,
251(0)119,
251(0)193,
251(0)205,
251(0)247,
255(0)128,
255(0)251,
306(0)68,
337(0)274,
349(0)107,
369(0)99,
418(0)78
- intuitionistic,
212(0)70,
212(0)79,
306(0)41,
337(0)113,
337(0)206
- Nelson, D.,
337(0)95
- note,
160(0)64,
172(0)166,
235(0)54,
255(0)128,
258(0)105,
258(0)164,
311(0)46,
319(0)91,
321(0)118,
369(0)153,
375(0)47,
381(0)20,
381(0)289,
384(0)260,
411(0)147
- order,
115(0)178,
142(0)1,
142(0)176,
142(0)287,
144(0)140,
149(0)83,
149(0)104,
149(0)126,
186(0)71,
186(0)95,
220(0)4,
220(0)81,
243(0)134,
262(0)24,
272(0)83,
279(0)95,
294(0)173,
303(0)55,
309(0)14,
312(0)100,
319(0)133,
324(0)66,
324(0)96,
328(0)1,
328(0)129,
353(0)139,
353(0)204,
362(0)72,
362(0)76,
362(0)291,
363(0)118,
365(0)62,
365(0)88,
365(0)210,
365(0)302,
365(0)363,
377(0)217,
377(0)234,
398(0)194,
403(0)132,
419(0)67,
430(0)61
- second,
133(0)60,
144(0)140,
212(0)34,
220(0)4,
309(0)14,
312(0)100,
328(0)1,
328(0)129,
366(0)46,
377(0)234,
419(0)67