| 000 | 01030nam a2200181 4500 | ||
|---|---|---|---|
| 020 | _a970-620-600-0 | ||
| 045 | _a20070817/0701 | ||
| 050 | _aQA9 S65 | ||
| 100 | _aSolís Daun, Julio Ernesto | ||
| 245 | _aLógica matemática / Julio Ernesto Solís Daun, Yolanda Torres Falcón. | ||
| 260 | _aMéxico :|bUniversidad Autónoma Metropolitana, Unidad \ Iztapalapa, |c1995 \ México : Universidad Autónoma Metropolitana, Unidad Iztapalapa | ||
| 300 | _axiii, 265 p. / 23 cm. | ||
| 504 | _aBibliografía: p. 255-257 | ||
| 505 | _aArgumentos.- 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. | ||
| 650 | _aLógica matemáticas | ||
| 008 | 523227 1995 mx A 8132123322spa18 | ||
| 942 | _cBK | ||
| 999 |
_c1172 _d1172 |
||