Foundations of mathematical logic - Curry, Haskell B. 1900-1982 (Dover Publ., 1977)
Keywords: Lógica matemática (textos avançados); Lógica simbólica (textos avançados); Logic, Symbolic and mathematical; Mathematische Logik; Grundlage; Aussagenlogik; Einführung