Author :
Kleene Symposium (1978 : University of Wisconsin, Madison)
Title :
The Kleene Symposium
Author Statement :
edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen
Publication :
North-Holland Pub. Co.
Collation :
xx, 425 p. : ill. ; 23 cm
Series :
Studies in logic and the foundations of mathematics
Subject :
Kleene, Stephen Cole,1909- , Recursion theory , Intuitionistic mathematics
ADDED ENTRIES :
Barwise, Jon , ,
SubTitle :
proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.
Index :
Includes bibliographies and index
