000			00415nam a2200133Ia 4500
008			211224s9999 xx 000 0 und d
020			_a9780521452052
082			_a511.3 KRA
100			_aKrajíček, Jan
245		0	_aBounded arithmetic, propositional logic, and complexity theory
260			_aCambridge: _bCambridge University Press, _c1995
300			_axiv, 343 p. ; 24 cm.
650			_aComputational complexity
999			_c33531 _d33531