TY  - BOOK
AU  - Kleene Stephen Cole
TI  - Introduction to Metamathematics
U1  - 519 
PY  - 1967///
CY  - Amsterdam
PB  - North Holland Publishing
ER  -