Bounded arithmetic, propositional logic, and complex theory
Krajicek, Jan
Bounded arithmetic, propositional logic, and complex theory - New York: Cambrigde University Press, 1995 - xiv,341p.: ill.; 24cm.
Includes bibliographical references and index
0-521-45205-8
Constructive mathematics
Propositon (logic)
Competational complexity
MATH QA9.56.K73
Bounded arithmetic, propositional logic, and complex theory - New York: Cambrigde University Press, 1995 - xiv,341p.: ill.; 24cm.
Includes bibliographical references and index
0-521-45205-8
Constructive mathematics
Propositon (logic)
Competational complexity
MATH QA9.56.K73