Krajicek, Jan Bounded Arithmetic, Propositional Logic And Complexity Theory / Jan Krajicek - 1st edition - Cambridge , 2004 - 360 ISBN: 9780521452052 Subjects--Topical Terms: Mathematics Dewey Class. No.: 511.36 / KRA