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 |