Entry Scarpellini:1971:FIT 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{Scarpellini:1971:FIT,
author = "Bruno Scarpellini",
title = "A formally intuitonistic theory equivalent to
classical transfinite induction with respect to
recursive wellfounded trees with function parameters",
journal = j-LECT-NOTES-MATH,
volume = "212",
pages = "161--192",
year = "1971",
CODEN = "LNMAA2",
DOI = "https://doi.org/10.1007/BFb0068789",
ISBN = "3-540-05541-X (print), 3-540-36875-2 (e-book)",
ISBN-13 = "978-3-540-05541-9 (print), 978-3-540-36875-5
(e-book)",
ISSN = "0075-8434 (print), 1617-9692 (electronic)",
ISSN-L = "0075-8434",
bibdate = "Fri May 9 19:07:05 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lnm1970.bib",
URL = "http://link.springer.com/chapter/10.1007/BFb0068789/",
acknowledgement = ack-nhfb,
book-DOI = "https://doi.org/10.1007/BFb0068783",
book-URL = "http://www.springerlink.com/content/978-3-540-36875-5",
fjournal = "Lecture Notes in Mathematics",
journal-URL = "http://link.springer.com/bookseries/304",
}
Related entries
- classical,
143(0)65,
175(0)37,
175(0)54,
175(0)73,
175(0)111,
175(0)122,
175(0)135,
175(0)148,
189(0)1,
190(0)9,
198(0)1,
212(0)79,
227(0)50,
237(0)110,
285(0)23,
285(0)72,
285(0)134,
306(0)13,
306(0)41,
306(0)68,
306(0)88,
306(0)93,
306(0)137,
324(0)3,
342(0)1,
362(0)92
- equivalent,
231(0)12,
334(0)23,
406(0)186
- formally,
212(0)79,
280(0)131
- induction,
212(0)141,
306(0)129,
306(0)137,
343(0)540
- parameter,
112(0)248,
112(0)254,
160(0)262,
183(0)35,
188(0)102,
193(0)93,
212(0)141,
287(0)153,
294(0)273,
330(0)239,
403(0)73
- recursive,
212(0)141,
306(0)59,
306(0)76,
306(0)137,
369(0)99
- respect,
198(0)31,
212(0)141,
212(0)193,
212(0)256,
399(0)149
- Scarpellini, Bruno,
212(0)1,
212(0)34,
212(0)70,
212(0)79,
212(0)141,
212(0)193,
212(0)217,
212(0)248,
212(0)256
- transfinite,
212(0)141
- tree,
186(0)49,
306(0)129,
344(0)392,
403(0)79,
405(0)32,
405(0)46,
405(0)97,
406(0)1