Entry Feferman:1968:LPT 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
@Article{Feferman:1968:LPT,
author = "Solomon Feferman",
title = "Lectures on proof theory",
journal = j-LECT-NOTES-MATH,
volume = "70",
pages = "1--107",
year = "1968",
CODEN = "LNMAA2",
DOI = "https://doi.org/10.1007/BFb0079094",
ISBN = "3-540-04240-7 (print), 3-540-35886-2 (e-book)",
ISBN-13 = "978-3-540-04240-2 (print), 978-3-540-35886-2
(e-book)",
ISSN = "0075-8434 (print), 1617-9692 (electronic)",
ISSN-L = "0075-8434",
bibdate = "Thu May 8 17:39:14 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lnm1960.bib",
URL = "http://link.springer.com/chapter/10.1007/BFb0079094/",
acknowledgement = ack-nhfb,
book-DOI = "https://doi.org/10.1007/BFb0079093",
book-URL = "http://www.springerlink.com/content/978-3-540-35886-2",
fjournal = "Lecture Notes in Mathematics",
journal-URL = "http://link.springer.com/bookseries/304",
}
Related entries
- 3-540-04240-7,
70(0)iii--331,
70(0)109,
70(0)159,
70(0)223,
70(0)241,
70(0)253,
70(0)269,
70(0)273,
70(0)279,
70(0)303
- 3-540-35886-2,
70(0)iii--331,
70(0)109,
70(0)159,
70(0)223,
70(0)241,
70(0)253,
70(0)269,
70(0)273,
70(0)279,
70(0)303
- 978-3-540-04240-2,
70(0)iii--331,
70(0)109,
70(0)159,
70(0)223,
70(0)241,
70(0)253,
70(0)269,
70(0)273,
70(0)279,
70(0)303
- 978-3-540-35886-2,
70(0)iii--331,
70(0)109,
70(0)159,
70(0)223,
70(0)241,
70(0)253,
70(0)269,
70(0)273,
70(0)279,
70(0)303
- Feferman, Solomon,
106(0)201
- 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,
73(0)ii--123,
86(0)13,
94(0)vi--79,
95(0)ii--111,
99(0)1,
103(0)vii--162,
107(0)iii--111
- proof,
6(0)23,
6(0)42,
6(0)47,
59(0)48,
72(0)80,
83(0)95,
88(0)155,
95(0)ii--111