000			01888cam a2200301 a 4500
999			_c189215 _d189215
005			20190903162008.0
008			131213r19882012sp ad gr 001 0 spa d
020			_a8429151508
020			_a9788429151503
040			_aCO-BoUGC _cCO-BoUGC _e22
041	1		_aspa _heng
082	0	4	_a511.3 _bS866i _222
100	1		_aSuppes, Patrick _d1922-
245	1	0	_aPrimer curso de lógica matemática _cPatrick Suppes, Shirley Hill ; traducción Enrique Linés Escardó
250			_a1a edición
260	3		_aBarcelona _bReverté _c1988 _gReimpresión 2012
300			_aix, 283 paginas _bilustraciones, tablas, gráficas _c22 cm.
500			_aIncluye índice
500			_aTitulo de la portada: Introducción a la lógica matemática
505	0		_a1. Simbolización de proposiciones ; 2. Inferencia lógica ; 3. Certeza y validez ; 4. Tablas de certeza ; 5. Términos, predicados y cuantificadores universales ; 6. Especificación universal y leyes de identidad ; 7. Un sistema matemático simple: axiomas de la adición ; 8. Generalización universal
520	1		_aEl propósito de este libro es introducir al estudiante en el método deductivo de la Matemática moderna, pero se ha intentado escribirlo de manera que lo puedan utilizar los estudiantes con un margen de edad y habilidad muy amplio. Se ha insistido mucho a lo largo del texto en la importancia del problema d e traducir a símbolos lógicos o matemáticos proposiciones enunciadas en lenguaje corriente, y se han agregado multitud de ejemplos y ejercicio
534			_tFirst course in mathematical logic.
650	1	7	_aLógica simbólica y matemática _vProblemas, ejercicios, etc. _2LEMB _9167441
650	2	7	_aLógica simbólica y matemática _vManuales _2LEMB _9167442
700	1		_aHill, Shirley A. _eautor _9167438
700	1		_aLinés Escardó, Enrique _etraductor _9167443
942			_2ddc _cBK _035 _n0