| 000 | 00952nam a2200301 a 4500 | ||
|---|---|---|---|
| 005 | 20250914084057.0 | ||
| 008 | 981208s1979 xxu 00 eng | ||
| 020 | _a0201040697 | ||
| 039 | 9 |
_y08-18-1999 _zload |
|
| 090 |
_aQA9.63 _b.L48 |
||
| 100 | 1 | _aLewis, Harry R. | |
| 245 | 1 | 0 |
_aUnsolvable classes of quantificational formulas / _cHarry R. Lewis |
| 260 |
_aReading, Mass. : _bAddison-Wesley, _c1979 |
||
| 300 |
_axv, 198 p. : _bill. ; _c24 cm. |
||
| 500 | _a'Advanced Book Program.' | ||
| 500 | _aIncludes indexes. | ||
| 504 | _aBibliography: p. 190-194. | ||
| 650 | 0 | _aUnsolvability (Mathematical logic) | |
| 650 | 0 | _aCombinatorial analysis | |
| 650 | 0 | _aComputable functions | |
| 907 |
_a.b12419655 _b2024-10-30 _c2019-11-12 |
||
| 942 |
_c01 _n0 _kQA9.63 .L48 |
||
| 914 | _avtls000249490 | ||
| 991 | _aFak Sains Matematik | ||
| 998 |
_at _b1999-05-08 _cm _da _feng _gxxu _y0 _z.b12419655 |
||
| 999 |
_c243230 _d243230 |
||