| 000 | 01040nam a22002897a 4500 | ||
|---|---|---|---|
| 001 | BHTM983 | ||
| 005 | 20230502165441.0 | ||
| 006 | a||||gr|||| 00| 0 | ||
| 007 | ta | ||
| 008 | 161204t ec ||||gr|||| 00| 0 spa d | ||
| 020 | _a8429151508 | ||
| 040 |
_aUEB _bspa _cUEB |
||
| 041 | 0 | _aspa | |
| 082 | 0 | 4 |
_a510 _bS9595i |
| 100 | 1 |
_aSuppes, Patrick _918509 |
|
| 245 | 1 | 0 |
_aIntroducción a la lógica matemática / _cPatrick Suppes |
| 260 |
_aMadrid, España : _bReverté, _c1986 |
||
| 300 |
_a283 páginas ; _c21 cm. |
||
| 336 | _atexto | ||
| 337 | _asin mediación | ||
| 338 | _avolumen | ||
| 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 adición. | |
| 650 | 1 | 4 |
_aLógica simbólica y matemática. _92736 |
| 700 | 1 |
_aHill, Shirley, autor _918510 |
|
| 700 | 1 |
_aLinés Escardó, Enrique, traductor _918511 |
|
| 942 |
_cBK _2ddc |
||
| 999 |
_c12466 _d12466 |
||