| 000 | 00728nam a2200217 4500 | ||
|---|---|---|---|
| 003 | OSt | ||
| 005 | 20231115145655.0 | ||
| 008 | 191122b ||||| |||| 00| 0 eng d | ||
| 020 | _aNA | ||
| 040 | _c | ||
| 082 |
_a511.3 _bMAN / G |
||
| 100 |
_aManaster, Alfred B. _eAuthor |
||
| 245 |
_aCompleteness, compactness and undecidability : _ban introduction to mathematical logic |
||
| 260 |
_aNew Delhi : _bPrentice Hall of India Private Limited, _c©1978. |
||
| 300 |
_avi, 154 p. : _bill. ; _c23 cm (Paperback) |
||
| 500 | _aDonated by Dr. Belmannu Devadas Acharya. | ||
| 504 | _aIncludes bibliographical references and index. | ||
| 653 | _aLogic, Symbolic and mathematical | ||
| 653 | _aPredicate calculus | ||
| 942 |
_2ddc _cBK |
||
| 999 |
_c2749 _d2749 |
||