000 00425nam a2200145Ia 4500
008 191124s2010||||xx |||||||||||||| ||und||
020 _a9781461424796
082 _a511.3
_bCo
100 _aManin, I︠U︡. I.
245 2 _aA course in mathematical logic for mathematicians/
_cby I︠U︡. I. Manin
260 _aNew York:
_bSpringer,
_c2010
300 _a384p.
650 _aLogic, Symbolic and mathematical
942 _cBK
999 _c400429
_d400429