Kleene, Stephen Cole, <br/><br/>
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. ; 
<br/><br/><label>ISBN: </label>0444853456 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Recursion theory--Congresses.<br/>Intuitionistic mathematics--Congresses.
<br/><br/><label>Universal Decimal Class. No.: </label>510.6  / KLE