000 00950 a2200337 4500
003 inmoiis
020 _a9781441906144
040 _ainmoiis
041 _aEng
044 _aXXU
082 _222
_a515.7
_bMAN-C
100 _aManin,Yu. I
_9285
101 _aZilber,B
_bKoblitz,Neal
245 _aA course in mathematical logic for mathematicians:
_cYu. I Manin
250 _a2nd ed.
_b2010
260 _bSpringer
_c2010
_aNew York
300 _a384p.
440 _aGraduate text in mathematics
_n53
_96579
500 _aIncludes bibliographical references and index.
650 _aMathematics
650 _aMathematical logics
_96580
650 _aProvability
_96581
650 _aLanguage of real analysis
_96582
650 _aComputability
_96583
650 _aRecursive groups
_96584
650 _aModel theory
_96585
365 _b3608.00
_eINR
902 _0IISER Mohali
942 _cBK
_2ddc
999 _c2099
_d2099