000			01816nam a22003497a 4500
005			20190814120034.0
008			180316b mx||||| |||| 00| 0 esp d
020			_a9789686708011
040			_aUTEA
041			_aEs
044			_aMX
082			_aQA9 / _bS94
100			_aPatrick Suppes _eAutor _94938
245			_aIntroducción a la Lógica Matematica / _cPatrick Suppes
250			_a1a edición
260			_aMéxico _bReverte Ediciones S.A. _c2012
300			_a278 páginas. _c16 X 22 cm. _bEjercicios, Teoremas. 1 Ejem. en Adahualas, 5 Ejem. en Cusco
505			_aPrefacio. -- Simbolización proposiciones. -- Inferencia lógica. -- Certeza y validez. -- Tablas de certeza. -- Términos, predicados y cuantificadores universales. -- Especificación universal y leyes de identidad. -- Un sistema matemático simple axiomas de la adicción. -- Generalización universal.
520			_aLa obra presente de matemática moderna de la teoría de la demostración y de la metodología en la deducción de teoremas a partir de acción, el objetivo es proporcionar inferencias con cuantificadores universales y aplicaciones de la teoría de la inferencia al desarrollo de la teoría elemental de grupos conmutativos o la teoría de la adición que es como se desarrolla en el texto.
650		0	_aTERMINOS DE ENLACE _94939
650		0	_aSIMBOLIZACIÓN DE PROPOSICIONES _94940
650		0	_aAGRUPAMIENTO Y PARÉNTESIS _94941
653			_aCONTABILIDAD
653			_aREGLAS DE INFERENCIA Y DEMOSTRACIÓN
653			_aDOBLE NEGACIÓN
653			_aDEDUCCIÓN PROFESIONAL
653			_aCUANTIFICADORES UNIVERSALES
653			_aLÓGICA DE LA IDENTIDAD
700			_aShirley Hill _eCoautor
856			_uwww.utcadereyta.edu.mx/descargas/Anexo%201.pdf
942			_2lcc _cBK _zCarmela Vargas Huaman
999			_c9821 _d9821