000 00427nam a2200157Ia 4500
008 230717s9999 xx 000 0 und d
020 _a9780521452052
_qhbk
082 _a511.36
_bKRA
100 _aKrajicek, Jan
245 0 _aBounded Arithmetic, Propositional Logic And Complexity Theory /
_cJan Krajicek
250 _a1st edition
260 _bCambridge ,
_c2004
300 _a360
650 _aMathematics
942 _cENG
999 _c154211
_d154211