| 000 | 00863nam a2200217 a 4500 | ||
|---|---|---|---|
| 003 | AR-LpUFIB | ||
| 005 | 20250311170213.0 | ||
| 008 | 230201s2000 xxk r 000 0 eng d | ||
| 020 | _a0521368650 | ||
| 024 | 8 |
_aDIF-M1545 _b1609 _zDIF001538 |
|
| 040 |
_aAR-LpUFIB _bspa _cAR-LpUFIB |
||
| 100 | 1 | _aHamilton, A. G. | |
| 245 | 1 | 0 | _aLogic for mathematicians |
| 250 | _aRev. ed., repr. | ||
| 260 |
_aCambridge : _b Cambridge University Press, _c2000 |
||
| 300 |
_aviii, 228 p. ; _c23 cm. |
||
| 500 | _aIncluye ejercicios, lecturas adicionales y glosario de símbolos. -- | ||
| 505 | 0 | _a Informal statement calculus -- Formal statement calculus -- Informal predicate calculus -- Formal predicate calculus -- Mathematical systems -- The Gödel incompleteness theorem -- Computability, unsolvability, undecidability | |
| 650 | 4 | _aLÓGICA MATEMÁTICA | |
| 942 | _cBK | ||
| 999 |
_c51469 _d51469 |
||