| 000 | 01089n a2200349#a 4500 | ||
|---|---|---|---|
| 001 | 1272 | ||
| 005 | 20240404163256.0 | ||
| 008 | 840131s1961 njua b 000 0 eng | ||
| 010 | _a60014063 /L/r84 | ||
| 015 | _aGB61-18841 | ||
| 029 | 1 |
_aUKM _bb6118841 |
|
| 035 | _aocm00527319 | ||
| 035 | _aRecord 03038 | ||
| 040 |
_aDLC/ICU _cCGU _dFCU _dUKM |
||
| 049 | _aP5AA | ||
| 051 |
_aQA1 _b.A626 no. 47 _cCopy 2. |
||
| 082 | 0 | 0 |
_a511.3 _bS666t |
| 090 | _alf2 | ||
| 100 | 1 |
_aSmullyan, Raymond M. _946155 |
|
| 245 | 1 | 0 |
_aTheory of formal systems/ _cRaymond M. Smullyan. |
| 260 |
_aPrinceton, N.J.: _bPrinceton University Press, _c1961. |
||
| 300 |
_a142 p.: _billus., _c26 cm. |
||
| 504 | _aIncludes bibliography. | ||
| 650 | 7 |
_aFonctions récursives. _2ram _926963 |
|
| 650 | 0 |
_aMétamathématique. _2ram _926964 |
|
| 650 | 0 |
_aRecursive functions _936989 |
|
| 650 | 0 | 4 |
_aMetamathematics. _938347 |
| 697 |
_aLógica e Fundamentos 02- _xLógica Matemática e Funções Recursivas. _923728 |
||
| 942 |
_2impa _cBK |
||
| 999 |
_c2473 _d2473 |
||
| 490 | 0 |
_aAnnals of mathematics studies; _v47 |
|