| 000 | 00507pam a2200169a 44500 | ||
|---|---|---|---|
| 082 |
_a510 _bAn72 |
||
| 100 | _aSmullyan, Raymond M. | ||
| 245 | 1 | _aTHEORY OF FORMAL SYSTEMS | |
| 260 |
_aPrinceton, N. J. _bPrinceton University Press _c1961 |
||
| 300 | _a142 | ||
| 440 |
_aAnnals Of Mathematics Studies, No. 47 _v |
||
| 500 | _aA Revision Of The Author'S Recent Doctoral Dissertation -- [Princeton] | ||
| 650 | _aRecursive Functions | ||
| 650 | _aMetamathematics | ||
| 964 | _gCIRC | ||
| 997 | _a55517 C | ||
| 999 |
_c426347 _d426347 |
||