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