Lógica combinatória
Hillary Putnam... [et al.]; coord. Fernando GilPortuguês
Lisboa : IN/CM, 1988
393, [6] p. : il
Colecção : Enciclopédia Einaudi / dir. Ruggiero Romano ; 13
Exemplar n.º 68912 - CMRG.
Matemática -- Lógica -- Equivalência -- Possibilidade -- Dedução -- Demonstração -- Referência -- Verdade -- Formalização -- Rede -- Labirinto -- Enciclopédia --