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 |