000 00619nam a22002175a 4500
005 20141102154032.0
008 130402s2013 nyu 000 0 eng
010 _a 2013936799
020 _a9783319001180
040 _aNISER LIBRARY
041 _aEnglish
082 _a510.21
_bPUD-L
100 1 _aPudlak, Pavel
245 1 0 _aLogical foundations of mathematics and computational complexity :
_ba gentle introduction
260 _aNew York
_bSpringer
_c2013
300 _axiv,695p. hb.
440 _aSpringer Monographs in Mathematics
650 _aMATHEMATICS
650 _aCOMPLEX VARIABLES
942 _cBK
999 _c20635
_d20635