000			00947nam a2200229 a 4500
003			AR-LpUFIB
005			20250311170413.0
008			230201s2010 sp r 000 0 spa d
020			_a9788429151503
024	8		_aDIF-M6368 _b6506 _zDIF005816
040			_aAR-LpUFIB _bspa _cAR-LpUFIB
100	1		_aSuppes, Patrick
245	1	0	_aPrimer curso de lógica matemática
250			_a1a ed.
260			_aBarcelona : _b Reverté, _c2010
300			_aix, 278 p. ; _c22 cm.
500			_aIncluye índice.
505	0		_a Prefacio -- 1. Simbolización de proposiciones -- 2. Inferencia lógica -- 3. Cereteza 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 -- Índice alfabético
650		4	_aLÓGICA MATEMÁTICA
700	1		_aHill, Shirley
942			_cBK
999			_c55598 _d55598