| 000 | 01670cam a2200337 a 4500 | ||
|---|---|---|---|
| 005 | 20240604121637.0 | ||
| 008 | 110215m19732007sp gr 001 0 spa d | ||
| 020 | _a8429151508 (1973) | ||
| 020 | _a8429151508 (2004) | ||
| 020 | _a9686708014 (2004) | ||
| 020 | _a9789686708011 (2004) | ||
| 020 | _a9789686708011 (2007) | ||
| 020 | _a9788429151503 (2007) | ||
| 040 |
_aCO-BoUGC _cCO-BoUGC _d20 _e16 _e21 |
||
| 041 | 1 |
_aspa _heng |
|
| 082 | 0 | 4 |
_a511.3 _bS866p _223 |
| 100 | 1 | _aSuppes, Patrick | |
| 245 | 1 | 0 |
_aIntroducción a la lógica matemática _cPatrick Suppes y Shirley Hill ; traducción Enrique Lines Escardo |
| 246 | 0 | 4 | _aPrimer curso de lógica matemática |
| 250 | _a1a ediciíon | ||
| 260 | 3 |
_aBarcelona _bReverté _c1973-2007 |
|
| 300 |
_a278 páginas _c22 cm. |
||
| 500 | _aIncluye índice | ||
| 505 | 1 | _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 objetivo de este libro comprende la teoría proposicional de inferencia, inferencia con cuantificadores universales, y aplicaciones de la teoría de la inferencia al desarrollo de la teoría elemental de grupos conmutativos, o la teoría de la adición, que es como se ha desarrollado en el texto | |
| 534 | _tFirst course in mathematical logic | ||
| 650 | 1 | 7 |
_aLógica simbólica y matemática _2LEMB |
| 700 | 1 | _aHill, Shirley | |
| 700 | 1 |
_aLinés Escardo, Enrique _etraductor _9384550 |
|
| 942 |
_2ddc _cBK _056 _n0 |
||
| 999 |
_c16696 _d16696 |
||