TY  - BOOK
T1  - Lógica matemática elemental
A1  - Mates, Benson
LA  - Spanish
PP  - Madrid
PB  - Tecnos
YR  - 1979
UL  - http://vufind10-pruebas.sigbunlp.bibliotecas.unlp.edu.ar/Record/dfi.17535
AB  - 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.
OP  - 287
SN  - 843090509x
KW  - LOGICA MATEMATICA
ER  -