TY  - BOOK
AU  - Kleene, Stephen Cole,
AU  - Kleene,Stephen Cole
AU  - Barwise,Jon
AU  - Keisler,H.Jerome
AU  - Kunen,Kenneth
TI  - Kleene Symposium: proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. 
SN  - 0444853456
PY  - 1980///
CY  - Amsterdam, New York, New York
PB  - North-Holland Pub. Co., sole distributors for the U.S.A. and Canada, Elsevier North-Holland
KW  - Recursion theory
KW  - Congresses
KW  - Intuitionistic mathematics
ER  -