000 00486nam a22001817a 4500
020 _a978-1-4419-0614-4
040 _cUDSM
050 _aMATH QA9.M296 2010
100 1 _aManin, Yu I
_eAuthor
245 1 _aA course in mathematical logic for mathematicians
250 _a2nd ed.-
260 _aNew York:
_bSpringer-Verlag,
_c2010
300 _axi,384p.:
_bill.;
_c23cm.
504 _aIncludes index
650 1 _aLogic
650 1 _asymbolic and mathematical
942 _2lcc
_cBK
_n0
999 _c136142
_d136142