000 00704 a2200277 4500
001 14232
020 _a0-444-85345-60
041 _aeng
080 _a517.1 Kle:78(2)
245 _aKleene symposium : proceedings of the symposium, Madison, Wisconsin, U.S.A., 18-24, 1978 / edited by Jon Barwise, H. Jerome Keisler and Kenneth Kunen
250 _a
260 _aAmsterdam
260 _bNorth-Holland,
260 _c1980
300 _axx,425 p.
300 _c24 cm
490 _a
100 _a
700 _a
650 _a
650 _aRecursion theory-Congresses
650 _aInstuitionistic mathematics-Congresses
650 _aKleen, Stephen Cole,-1990
942 _cBK
942 _2UDC
999 _c16404
_d16404