TY  - BOOK
AU  - Galicia Arrambide,Moisés
TI  - Introducción a la lógica matemática 
U1  - 511.3 
PY  - 1976///.
CY  - México: 
PB  - McGraw-Hill, 
KW  - Matemáticas
KW  - Lógica matemática
KW  - Principio de las matemáticas
N1  - Contiene bibliografía; Inducción, intuición y deducción. — Proposiciones. — Grafica de proposiciones. — Funciones proposicionales y cuantificadores. — Proposiciones compuestas. — Fórmulas. — Algebra de proposiciones. — Argumentos válidos. — Métodos generales de demostración: directo e indirecto. — Respuesta a problemas seleccionados
ER  -