TY  - BOOK
AU  - Kleene, Stephen cole  .
TI  - Introduction to meta mathematics / 
U1  - 510.1 
PY  - 1952///
CY  - Amsterdam : 
PB  - North-Holland publishing co. , 
ER  -