| 000 | 00988nam a2200325 a 4500 | ||
|---|---|---|---|
| 999 |
_c26414 _d26414 |
||
| 003 | AR-SmCIES | ||
| 005 | 20240702160133.0 | ||
| 008 | 170703s1952####nyu||||f#|||||00| 0#eng#d | ||
| 040 | _cAR-SmCIES | ||
| 041 | 7 |
_aen _2ISO 639-1 |
|
| 080 | _a510.6 | ||
| 091 | _a1555 | ||
| 100 | 1 |
_aKleene, Stephen Cole _98022 |
|
| 245 | 1 | 0 | _aIntroduction to metamathematics |
| 260 |
_aNew York: _bD. Van Nostrand, _c1952. |
||
| 300 | _ax, 550 p. | ||
| 440 |
_aThe University series in higher mathematics _97981 |
||
| 650 | 4 |
_aLOGICA MATEMATICA _93960 |
|
| 650 | 4 |
_aLOGICA FORMAL _98019 |
|
| 650 | 4 |
_aMATEMATICA COMPUTACIONAL _98023 |
|
| 650 | 4 |
_aMATEMATICA COMPUTACIONAL _98023 |
|
| 650 | 4 |
_aCONJUNTOS (MATEMATICA) _98024 |
|
| 650 | 7 |
_aCALCULO PROPOSICIONAL _2INIS _98025 |
|
| 650 | 7 |
_aFUNCIONES RECURSIVAS _2INIS _98026 |
|
| 650 | 7 |
_aRECURSIVIDAD _2INIS _98027 |
|
| 830 |
_aThe University series in higher mathematics _97981 |
||
| 942 |
_2udc _cBK |
||