TY  - BOOK
AU  - Kleene, Stephen Cole
TI  - Introduction to metamathematics
PY  - 1964///
CY  - Amsterdam: 
PB  - North Holland Publishing Co., 
KW  - Science
KW  - Technology
ER  -