Kleene Symposium :
Kleene, Stephen Cole,
Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. / edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen. - Amsterdam ; New York : New York : North-Holland Pub. Co. ; sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1980. - xx, 425 p. : ill. ;
0444853456
Recursion theory--Congresses.
Intuitionistic mathematics--Congresses.
510.6 / KLE
Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. / edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen. - Amsterdam ; New York : New York : North-Holland Pub. Co. ; sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1980. - xx, 425 p. : ill. ;
0444853456
Recursion theory--Congresses.
Intuitionistic mathematics--Congresses.
510.6 / KLE