000 | 00733nam a22003017a 4500 | ||
---|---|---|---|
003 | inmoiis | ||
005 | 20171018224146.0 | ||
020 | _a9780521007580 | ||
020 | _a0521007585 | ||
040 | _ainmoiis | ||
041 | _aEng | ||
044 | _aXXU | ||
082 |
_222 _a511.3 _bBOO-C |
||
100 |
_aBoolos, George S. _93365 |
||
245 |
_aComputability and logic _cGeorge S.Boolos |
||
250 | _a4th ed. | ||
260 |
_aNew York _bCambridge university press _cNew york |
||
300 | _a356 p. | ||
500 | _ainclude index. | ||
650 | _aMathematics | ||
650 | _aComputer science | ||
650 | _aPhilosophy | ||
650 |
_aRamsey's theorem _93366 |
||
650 |
_aLogic _92236 |
||
902 | _0IISER Mohali | ||
942 | _cBK | ||
999 |
_c4697 _d4697 |