Entry Troelstra:1969:PIL from lnm1960.bib
Last update: Sat Mar 2 02:18:53 MST 2019
Top |
Symbols |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
Y |
Z
BibTeX entry
@Proceedings{Troelstra:1969:PIL,
editor = "Anne Sjerp Troelstra",
booktitle = "{Principles of Intuitionism: Lectures presented at the
summer conference on Intuitionism and Proof theory
(1968) at SUNY at Buffalo, N.Y.}",
title = "{Principles of Intuitionism: Lectures presented at the
summer conference on Intuitionism and Proof theory
(1968) at SUNY at Buffalo, N.Y.}",
volume = "95",
publisher = pub-SV,
address = pub-SV:adr,
pages = "ii + 111",
year = "1969",
CODEN = "LNMAA2",
DOI = "https://doi.org/10.1007/BFb0080643",
ISBN = "3-540-04614-3 (paperback), 3-540-36130-8 (e-book)",
ISBN-13 = "978-3-540-04614-1 (paperback), 978-3-540-36130-5
(e-book)",
ISSN = "0075-8434 (print), 1617-9692 (electronic)",
ISSN-L = "0075-8434",
LCCN = "QA3 .L28 no. 95",
MRclass = "02.23",
MRnumber = "0244003 (39 \#5320)",
MRreviewer = "A. Heyting",
bibdate = "Tue May 6 14:51:19 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lnm1960.bib",
series = ser-LECT-NOTES-MATH,
URL = "http://link.springer.com/book/10.1007/BFb0080643",
acknowledgement = ack-nhfb,
series-URL = "http://link.springer.com/bookseries/304",
}
Related entries
- 3-540-04614-3,
95(0)2,
95(0)5,
95(0)12,
95(0)14,
95(0)16,
95(0)22,
95(0)26,
95(0)29,
95(0)34,
95(0)44,
95(0)57,
95(0)64,
95(0)71,
95(0)76,
95(0)91,
95(0)95
- 3-540-36130-8,
95(0)2,
95(0)5,
95(0)12,
95(0)14,
95(0)16,
95(0)22,
95(0)26,
95(0)29,
95(0)34,
95(0)44,
95(0)57,
95(0)64,
95(0)71,
95(0)76,
95(0)91,
95(0)95
- 978-3-540-04614-1,
95(0)2,
95(0)5,
95(0)12,
95(0)14,
95(0)16,
95(0)22,
95(0)26,
95(0)29,
95(0)34,
95(0)44,
95(0)57,
95(0)64,
95(0)71,
95(0)76,
95(0)91,
95(0)95
- 978-3-540-36130-5,
95(0)2,
95(0)5,
95(0)12,
95(0)14,
95(0)16,
95(0)22,
95(0)26,
95(0)29,
95(0)34,
95(0)44,
95(0)57,
95(0)64,
95(0)71,
95(0)76,
95(0)91,
95(0)95
- conference,
70(0)vi--216,
92(0)v--308,
99(0)iv--489,
109(0)vi--275,
110(0)viii--290
- lectures,
3(0)iii--78,
10(0)z,
13(0)iv--45,
14(0)iv--196,
24(0)iv--70,
36(0)vi--98,
44(0)ii--50,
49(0)xv--140,
70(0)1,
73(0)ii--123,
86(0)13,
94(0)vi--79,
99(0)1,
103(0)vii--162,
107(0)iii--111
- presented,
9(0)iv--50
- principle,
8(0)11,
60(0)37,
95(0)71,
95(0)91
- proof,
6(0)23,
6(0)42,
6(0)47,
59(0)48,
70(0)1,
72(0)80,
83(0)95,
88(0)155
- summer,
10(0)z,
14(0)iv--196,
22(0)iv--175,
70(0)iii--331