| 000 | 01657cam a2200301 i 4500 | ||
|---|---|---|---|
| 999 |
_c57626 _d57626 |
||
| 005 | 20200529153542.0 | ||
| 008 | 110215m19761968sp a g| 001 0 spa d | ||
| 020 | _a8429151508 | ||
| 040 |
_aCo-BrCUA _bspa _erda |
||
| 041 | 1 |
_aspa _heng |
|
| 082 | 0 | 4 |
_a511.3 _bS959 1976 _221 |
| 100 | 1 |
_aSuppes, Patrick _96781 |
|
| 245 | 1 | 0 |
_aPrimer curso de lógica matemática / _cPatrick Suppes, Shirley Hill ; traductor Enrique Linés Escardó |
| 250 | _aPrimera edición. | ||
| 260 |
_aBarcelona : _bReverté, S.A., _c1976. |
||
| 300 |
_a283 páginas ; _c22 cm. |
||
| 336 |
_2rdacontent _atexto |
||
| 337 |
_2rdamedia _asin medio |
||
| 338 |
_2rdacarrier _avolumen |
||
| 500 | _aIncluye índice de materias en las páginas 279 | ||
| 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 | |
| 650 | 1 | 7 |
_aLógica simbólica y matemática _2LEMB _91188 |
| 700 | 1 |
_aHill, Shirley _96783 |
|
| 700 | 1 |
_aLinés Escardo, Enrique _etraductor _96784 |
|
| 730 | 0 |
_97032 _aIntroducción a la lógica matemática |
|
| 942 |
_2ddc _h511.3 _cBK _iS959 1976 _01 |
||