Lungarzo, Carlos
Lógica y lenguajes formales Carlos Lungarzo. - Buenos Aires : Centro editor de América latina, 1986 - gráficos, tablas
v.2. Sistemas de primer orden y deducción
9502513150
TEORIA LOGICA
RAZONAMIENTO
DEDUCCION
LOGICA MATEMATICA
SEMANTICA
RELACIONES SEMANTICAS
Lógica y lenguajes formales Carlos Lungarzo. - Buenos Aires : Centro editor de América latina, 1986 - gráficos, tablas
v.2. Sistemas de primer orden y deducción
9502513150
TEORIA LOGICA
RAZONAMIENTO
DEDUCCION
LOGICA MATEMATICA
SEMANTICA
RELACIONES SEMANTICAS