TY  - BOOK
AU  - Kleene,Stephen Cole
TI  - Introduction to metamathematics
U1  - 511.1 KLE 
PY  - 1959///
CY  - Amsterdam : 
PB  - North-Holland, 
KW  - Metamathematics
KW  - Mathématiques
KW  - Metamathematik
ER  -