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