TY  - BOOK
AU  - Barwise,Jon
AU  - Kleisler,H.Jerome
AU  - Kunen,Kenneth
TI  - The Kleene symposium : proceedings 
SN  - 0444853456
PY  - 1980///
CY  - Amsterdam 
PB  - North-Holland Publishing Company 
KW  - BI-BuBU
KW  - Kleene (Stephen Cole)
KW  - Logique mathématique
ER  -