| 000 | 00566nam a2200193Ia 4500 | ||
|---|---|---|---|
| 008 | 160330s9999||||xx |||||||||||||| ||und|| | ||
| 040 | _aCentral Library-NITS | ||
| 041 | _aEnglish | ||
| 082 |
_a515.6 _bMAN |
||
| 100 | _aManaster, Alferd B | ||
| 245 |
_aCompleteness, and undecidability: introduction to mathematical logic _cby Alferd B. Manaster |
||
| 260 |
_aNew Delhi _bPrentice-Hall |
||
| 300 | _a151p; | ||
| 500 | _aIncludes bibliolgraphical references and index | ||
| 650 | _aCalculus | ||
| 650 | _aMathematics | ||
| 650 | _aPropositional calculus | ||
| 942 | _cBK | ||
| 999 |
_c5156 _d5156 |
||