Bounded Arithmetic, Propositional Logic, and Complexity Theory
Krajicek, Jan
Bounded Arithmetic, Propositional Logic, and Complexity Theory by Jan Krajicek - Cambridge Cambridge University Press 1995 - xiii,343p - Encyclopedia of Mathematics and its Applications No.60 .
9780521452052
511.3 / N953
Bounded Arithmetic, Propositional Logic, and Complexity Theory by Jan Krajicek - Cambridge Cambridge University Press 1995 - xiii,343p - Encyclopedia of Mathematics and its Applications No.60 .
9780521452052
511.3 / N953