000 00661 a2200265 4500
001 9355
020 _a0-444-85345-60
041 _aeng
080 _a517.1 Kle:78
245 _aKleene symposium : proceedings of the symposium, Madison, Wisconsin, U.S.A., June 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 _c22 cm
490 _a
100 _a
700 _a
650 _a
650 _aRecursion theory-Congresses
650 _aIntutionistic mathematics-Congresses
942 _cBK
942 _2UDC
999 _c11056
_d11056