| 000 | 00542nam a2200157 a 4500 | ||
|---|---|---|---|
| 008 | 120416s1994 ||||||||||||||||| || u | ||
| 020 | _a052142027X | ||
| 050 | _aQA 9 Sha | ||
| 100 | _aShankar, N | ||
| 245 | 1 | 0 | _aMetamathematics, machines, and Godel's proof |
| 260 |
_aCambridge: _bCUP _c1994 |
||
| 300 | _axv, 202p. : ill. | ||
| 350 | _a0.00 | ||
| 650 | _aAUTOMATIC THEOREM PROVING | ||
| 995 |
_D0.00 _FCBU-MAIN LIBRARY (Kitwe) _H1 _I54.50 _M1 _UAVAILABLE _ZMain Library Open Access Collection |
||
| 999 |
_c51023 _d51023 |
||