Lógica matemática elemental - Mates, Benson; García Trevijano, Carmen (Madrid : Tecnos, 1987)
Nuevas preliminares -- El lenguaje formalizado £ -- Interpretaciones y validez universal -- Traducción del lenguaje natural al lenguaje formal £ -- Enunciados tautológicos -- Reglas de inferencia para £ -- Algunos metateoremas -- Identidad y términos -- Axiomas para £[1] -- Teorías formalizadas -- Breve esbozo de la historia de la lógica
Ej. 4 : 1a. ed., 1987.
Edición original: Elementary logic. Oxford : Oxford University, 1965.
Keywords: Lógica; Lógica matemática; Lenguaje formal