| 000 | 00515nam a22001817a 4500 | ||
|---|---|---|---|
| 999 |
_c1042 _d1042 |
||
| 008 | 170404b xxu||||| |||| 00| 0 eng d | ||
| 020 | _a9780486406879 | ||
| 037 | _fPB | ||
| 082 |
_223 _a511.3 _bSUP |
||
| 100 | _aSuppes, Patrick | ||
| 245 |
_aIntroduction to logic _c/ by Patrick Suppes |
||
| 260 |
_aNew York _bDover Publications _c1999 |
||
| 300 |
_a312 _c22cm |
||
| 546 | _aEnglish | ||
| 653 | _aMathematical logic | Machine theory | Computational complexity | ||
| 658 | _bMaths-Statistics | ||
| 942 |
_2ddc _cBKS |
||