TY  - BOOK
AU  - Gödel,Kurt
TI  - Obras completas
U1  - 511.3 
KW  - Lógica matemática
KW  - Matemáticas
ER  -