TY  - BOOK
AU  - Kleene,Stephen Cole, 
TI  - Introducción a la metamatemática
U1  - 510.1 
KW  - Lógica matemática
KW  - Matemáticas
ER  -