Entry Kreisel:1968:CIL 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{Kreisel:1968:CIL,
author = "G. Kreisel",
title = "Choice of infinitary languages by means of
definability criteria; Generalized recursion theory",
journal = j-LECT-NOTES-MATH,
volume = "72",
pages = "139--151",
year = "1968",
CODEN = "LNMAA2",
DOI = "https://doi.org/10.1007/BFb0079687",
ISBN = "3-540-04242-3 (print), 3-540-35900-1 (e-book)",
ISBN-13 = "978-3-540-04242-6 (print), 978-3-540-35900-5
(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/BFb0079687/",
acknowledgement = ack-nhfb,
book-DOI = "https://doi.org/10.1007/BFb0079679",
book-URL = "http://www.springerlink.com/content/978-3-540-35900-5",
fjournal = "Lecture Notes in Mathematics",
journal-URL = "http://link.springer.com/bookseries/304",
}
Related entries
- 3-540-04242-3,
72(0)iii--268,
72(0)1,
72(0)36,
72(0)64,
72(0)77,
72(0)80,
72(0)96,
72(0)131,
72(0)152,
72(0)166,
72(0)182,
72(0)204,
72(0)237,
72(0)265
- 3-540-35900-1,
72(0)iii--268,
72(0)1,
72(0)36,
72(0)64,
72(0)77,
72(0)80,
72(0)96,
72(0)131,
72(0)152,
72(0)166,
72(0)182,
72(0)204,
72(0)237,
72(0)265
- 978-3-540-04242-6,
72(0)iii--268,
72(0)1,
72(0)36,
72(0)64,
72(0)77,
72(0)80,
72(0)96,
72(0)131,
72(0)152,
72(0)166,
72(0)182,
72(0)204,
72(0)237,
72(0)265
- 978-3-540-35900-5,
72(0)iii--268,
72(0)1,
72(0)36,
72(0)64,
72(0)77,
72(0)80,
72(0)96,
72(0)131,
72(0)152,
72(0)166,
72(0)182,
72(0)204,
72(0)237,
72(0)265
- choice,
37(0)ix--176,
37(0)159,
95(0)44
- criteria,
38(0)83,
56(0)78,
100(0)35
- definability,
37(0)24,
72(0)1,
72(0)152
- generalized,
6(0)28,
34(0)z,
60(0)7,
82(0)viii--131,
92(0)197,
101(0)20,
101(0)26,
101(0)35
- infinitary,
72(0)iii--268,
72(0)1,
72(0)36,
72(0)152
- Kreisel, G.,
106(0)201
- language,
37(0)1,
72(0)iii--268,
72(0)1,
72(0)36,
72(0)152,
118(0)18
- means,
107(0)4