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