000 01330nam a22003137a 4500
003 CO-NeUS
005 20180209100629.0
008 151016t1994 sp a gr|||| 001 0 spa d
020 _a8429151508
020 _a9788429151503
020 _a9686708014
040 _aCO-NeUS
_bEspañol
041 0 _aspa
082 0 4 _223
_a511.3
_bS959p
100 1 _aSuppes, Patrick
_985636
245 1 0 _aPrimer curso de lógica matemática
_cPatrick Suppes, Shirley Hill ; traducción Enrique Linés Escardó
246 3 4 _aIntroducción a la lógica matemática
264 _aBarcelona
_aMéxico, D.F.
_bReverté Ediciones
_c©1994
300 _aix, 278 páginas
_bilustraciones
_c21 cm
500 _aIncluye índice alfabético.
505 0 _aSimbolización de 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 edición -- Generalización universal.
534 _cAisdell Publishing Company
_tFirt course in mathematical logic
650 1 7 _aLogica matematica
_9115236
650 2 7 _aAlgebra abstracta
_999940
650 2 7 _aAxiomas
_9101523
700 1 _aHill, Shirley
_949990
700 _aLinés Escardó, Enrique
_etraductor
_962662
942 _cCG
999 _c39527
_d39527