000 01432n a2200349#a 4500
001 8534
005 20240404163358.0
008 790827s1980 ne a b 100 0 eng
010 _a79020792
020 _a0444853456
035 _aocm05411981
035 _aRecord 16277
040 _aDLC
_cDLC
_dOCL
049 _aP5AA
082 _a510.92
_bK64
090 _afest
245 0 4 _aThe Kleene Symposium:
_bproceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A./
_cedited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen.
260 _aAmsterdam ;
_aNew York:
_bNorth-Holland,
_aNew York:
_bSole distributors for the U.S.A. and Canada, Elsevier/North-Holland,
_c1980.
300 _axx, 425 p.:
_bill.;
_c23 cm.
504 _aIncludes bibliographies.
600 1 0 _aKleene, Stephen Cole
_d1909-1994
_945921
650 0 0 _aRecursion theory-
_xCongresses.
_928098
650 0 4 _aIntuitionistic mathematics-
_xCongresses.
_930419
697 _aFestschriften-
_x(Volumes Comemorativos; os volumes que tratam de tópicos específicos estão localizados por assunto)
_923763
700 1 _aKleene, Stephen Cole
_d1909-1994
_945921
700 1 _aBarwise, Jon.
_945949
700 1 _aKeisler, H. Jerome.
_945944
700 1 _aKunen, Kenneth.
_945927
711 2 _aKleene Symposium
_d(1978 :
_cMadison, Wis.).
_930418
942 _2impa
_cBK
999 _c9535
_d9535
490 0 _aStudies in logic and the foundations of mathematics,
_vv. 101.
_944413