Kleene symposium : proceedings of the symposium, Madison, Wisconsin, U.S.A., June 18-24, 1978 / edited by Jon Barwise, H. Jerome Keisler and Kenneth Kunen
Kleene symposium : proceedings of the symposium, Madison, Wisconsin, U.S.A., June 18-24, 1978 / edited by Jon Barwise, H. Jerome Keisler and Kenneth Kunen - - Amsterdam North-Holland, 1980 - xx,425 p. 22 cm - .
0-444-85345-60
Recursion theory-Congresses
Intutionistic mathematics-Congresses
517.1 Kle:78