Entry Friedman:1973:SAK 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{Friedman:1973:SAK,
author = "Harvey Friedman",
title = "Some applications of {Kleene}'s methods for
intuitionistic systems",
journal = j-LECT-NOTES-MATH,
volume = "337",
pages = "113--170",
year = "1973",
CODEN = "LNMAA2",
DOI = "https://doi.org/10.1007/BFb0066773",
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 = "02C15 (02D99)",
MRnumber = "0376310 (51 \#12486)",
MRreviewer = "Vladimir Lifsic",
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/BFb0066773/",
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
- 02C15,
274(0)57,
274(0)83,
337(0)1,
337(0)95,
337(0)206,
337(0)232,
337(0)253,
344(0)324
- 02D99,
274(0)57,
337(0)171,
337(0)206,
337(0)232
- Friedman, Harvey,
337(0)539,
337(0)573
- intuitionistic,
212(0)70,
212(0)79,
306(0)41,
337(0)171,
337(0)206
- method,
112(0)116,
132(0)252,
140(0)8,
140(0)68,
155(0)88,
160(0)37,
183(0)207,
183(0)213,
185(0)1,
193(0)1,
193(0)21,
217(0)51,
228(0)253,
243(0)123,
251(0)193,
267(0)81,
267(0)117,
267(0)233,
267(0)265,
267(0)289,
267(0)305,
280(0)181,
312(0)164,
316(0)161,
319(0)75,
322(0)1,
322(0)288,
329(0)51,
333(0)96,
333(0)164,
333(0)243,
336(0)51,
337(0)299,
362(0)1,
362(0)72,
362(0)92,
362(0)128,
362(0)291,
362(0)304,
362(0)434,
363(0)21,
363(0)75,
363(0)89,
363(0)118,
363(0)134,
363(0)153,
363(0)164,
363(0)176,
363(0)189,
363(0)207,
363(0)215,
365(0)363,
377(0)142,
378(0)172,
385(0)109,
394(0)8,
394(0)31,
394(0)74,
394(0)118,
395(0)123,
395(0)137,
403(0)63,
430(0)1,
430(0)61,
430(0)112,
430(0)131,
430(0)237,
430(0)261,
430(0)363,
430(0)395,
430(0)414
- system,
112(0)225,
112(0)254,
125(0)215,
127(0)28,
132(0)53,
137(0)100,
144(0)1,
144(0)16,
144(0)128,
180(0)177,
183(0)221,
188(0)1,
206(0)6,
206(0)14,
206(0)15,
206(0)18,
206(0)35,
206(0)36,
212(0)70,
212(0)79,
212(0)193,
220(0)34,
228(0)1,
233(0)76,
233(0)130,
233(0)144,
233(0)156,
235(0)93,
235(0)129,
243(0)29,
243(0)76,
243(0)91,
243(0)229,
243(0)238,
255(0)63,
255(0)103,
274(0)57,
287(0)457,
294(0)8,
294(0)21,
294(0)35,
294(0)56,
294(0)125,
294(0)131,
294(0)147,
294(0)160,
294(0)173,
294(0)186,
294(0)230,
294(0)273,
306(0)13,
313(0)66,
313(0)87,
313(0)103,
318(0)6,
318(0)23,
318(0)51,
322(0)244,
322(0)343,
330(0)287,
337(0)531,
362(0)360,
363(0)75,
365(0)302,
365(0)363,
384(0)168,
395(0)235,
399(0)212,
415(0)155,
425(0)1,
425(0)3,
425(0)16,
425(0)72,
425(0)100,
430(0)253