000 00880nam a22002297a 4500
001 000011350
003 OSt
003 UNAJMA
005 20151218113841.0
008 090620s2007 xxu||||| |||| 00| 0 eng d
020 _a978-84-291-5150-3
040 _aUNAJMA
_cEPAE
082 _a510.2
_bS959
100 _94516
_aSuppes, Patrick
245 _aIntroducción a la lógica matemática
250 _a1a ed.
260 _aBARCELONA, ESPAÑA
_bREVERTÉ EDICIONES S.A. DE C.V.
_c2007
300 _a278
_c16 X 22 cm.
505 _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 adición. -- Generalización universal.
700 _94517
_aHill, Shirley
942 _2ddc
_cLIB
999 _c11350
_d11330