TY  - BOOK
AU  - Kleene,Stephen Cole
TI  - Introduction to metamathematics / 
T2  - Bibliotheca mathematica ; 
SN  - 0720421039 (North-Holland)
U1  - 510.1 
CY  - Groningen : 
PB  - Wolters-Noordhoff 
KW  - Metamatemática
N1  - 1. ed. de 1952
ER  -