| 000 | 00582 a2200205 4500 | ||
|---|---|---|---|
| 035 | _a | ||
| 082 | _a510.5 | ||
| 090 |
_c3045 _d3045 |
||
| 100 | _aSmullyan, Raymond M | ||
| 245 |
_aTheory of formal systems _cby Raymond M. Smullyan |
||
| 250 | _aRev. ed | ||
| 260 |
_aPrinceton, New Jersey _bPrinceton University Press _c1961 |
||
| 300 |
_aVIII, 148 p _c24 cm |
||
| 440 |
_aSeria Annals of mathematics studies _vVol. 47 |
||
| 500 | _aContine bibliogr. si index | ||
| 650 | _aLogica matematica | ||
| 650 | _aSisteme formale | ||
| 650 | _aFunctii recursive | ||
| 942 |
_aIMAR _cCART |
||
| 999 |
_c2928 _d2928 |
||