TY  - BOOK
AU  - Mates,Benson
TI  - Lógica matemática elemental /  
SN  - 843090509x
PY  - 1979///
CY  - Madrid : 
PB  - Tecnos, 
KW  - LOGICA MATEMATICA
N2  - Introducción.- Nuevos preliminares. - El lenguaje formalizado. - Interpretaciones y validez universal. - Traducción del lenguaje natural al lenguaje formal. -Enunciados tautológicos. - Reglas de inferencia para lenguaje formal.  - Algunos metateoremas. - Identidad y términos. - Axiomas. Teorías formalizadas. Breve esbozo de la historia de la lógica
ER  -