TY  - BOOK
AU  - Putnam, Hillary
AU  - Romano, Ruggiero
AU  - Gil, Fernando
TI  - Lógica combinatória
T2  - Enciclopédia Einaudi
VL  - 13
PY  - 1988///
CY  - Lisboa
PB  - IN/CM
KW  - Matemática
KW  - Lógica
KW  - Equivalência
KW  - Possibilidade
KW  - Dedução
KW  - Demonstração
KW  - Referência
KW  - Verdade
KW  - Formalização
KW  - Rede
KW  - Labirinto
KW  - Enciclopédia
KW  - 51(031)
ER  -