Bounded arithmetic, propositional logic, and complexity theory
Krajíček, Jan
Bounded arithmetic, propositional logic, and complexity theory - Cambridge: Cambridge University Press, 1995 - xiv, 343 p. ; 24 cm.
9780521452052
Computational complexity
511.3 KRA
Bounded arithmetic, propositional logic, and complexity theory - Cambridge: Cambridge University Press, 1995 - xiv, 343 p. ; 24 cm.
9780521452052
Computational complexity
511.3 KRA