TY  - BOOK
AU  - Solís Daun, Julio Ernesto
TI  - Lógica matemática / Julio Ernesto Solís Daun, Yolanda Torres Falcón
SN  - 970-620-600-0
AV  - QA9 S65 
CY  - México :|bUniversidad Autónoma Metropolitana, Unidad  \        Iztapalapa, |c1995  \ México : Universidad Autónoma Metropolitana, Unidad Iztapalapa
KW  - Lógica matemáticas
N1  - Bibliografía: p. 255-257; Argumentos.- Falacias.- Preliminares de teoría de conjuntos.- Operaciones con conjuntos.- Lenguaje y sistemas formales.- Lógica proposicional: enfoque semántico.- Lógica proposicional: enfoque sintáctico.- Lógica proposicional: enfoque algóritmico.- Lógica de predicados. enfoque semántico.- Lógica de predicados: enfoque sintáctico.- Lenguajes y autómatas
ER  -