TY  - BOOK
AU  - Barwise,Jon
AU  - Keisler,H.Jerome
AU  - Kunen,Kenneth
ED  - Kleene Symposium
TI  - The Kleene Symposium: proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.a 
SN  - 0444853456 :
U1  -  512.81 
PY  - 1980///
CY  - Amsterdam
PB  - North-Holland Pub.
KW  - Kleene, Stephen Cole,
KW  - Recursion theory
KW  - Congresses
KW  - Intuitionistic mathematics
ER  -