000			01707cam a2200265 i 4500
003			OSt
008			250318s1992 Mx a||||||||||||||||Esp d
020			_a9789686708011
040			_aITTLAHUAC _bspa _cITTLAHUAC _dITTLAHUAC00943 _erda
050	0	0	_aQA9 _b.S9618 _c1992
100			_aSuppes, Patrick _91392 _eAutor
245	0	0	_aIntroducción a la lógica matemática / _cPatrick Suppes.
250			_a1a. Edición
260			_aMéxico _bReverte _c1992
300			_a280 página _bIlustraciones _c23 cm.
505			_aLenguaje de la lógica proposicional Tablas de verdad y tautologías Inferencias y deducción formal Reglas de inferencia Lógica de predicados (cuantificadores) Teoría de conjuntos elementales Axiomatización y consistencia Estructuras lógicas y modelos Principios de demostración matemática Introducción a la metateoría
520			_a"Introducción a la lógica matemática" de Patrick Suppes es una obra fundamental para quienes desean comprender los principios básicos de la lógica formal moderna. Desde el análisis proposicional hasta la lógica de predicados y el razonamiento axiomático, el texto proporciona herramientas teóricas esenciales para el pensamiento lógico y matemático. Es ideal tanto como texto de curso como para el autoestudio de estudiantes universitarios en carreras de matemáticas, filosofía y ciencias de la computación.
526			_aIngeniería Electrónica
526			_aIngeniería en Sistemas Automotrices
526			_aIngenieria en Sistemas Computacionales
526			_aIngeniería Ferroviaria
526			_aIngeniería Mecatrónica
942			_cLIB _2lcc
945			_a1 _badmin _c1250 _dAbel Nuñez Ayala
999			_c3772 _d3772