Bounded arithmetic, propositional logic, and complexity theory /
Krajíček, Jan.
Bounded arithmetic, propositional logic, and complexity theory / Jan Krajicek. - Cambridge [England] ; New York, NY, USA : Cambridge University Press, 1995. - xiv, 343 p. ; - Encyclopedia of mathematics and its applications .
0521452058
Constructive mathematics.
Proposition (Logic)
Computational complexity.
QA9.56 / .K73 1995
Bounded arithmetic, propositional logic, and complexity theory / Jan Krajicek. - Cambridge [England] ; New York, NY, USA : Cambridge University Press, 1995. - xiv, 343 p. ; - Encyclopedia of mathematics and its applications .
0521452058
Constructive mathematics.
Proposition (Logic)
Computational complexity.
QA9.56 / .K73 1995