Title: Bounded arithmetic, propositional logic, and complexity theory
First published: 1995
Subjects: Computational complexity, Proposition (Logic), Constructive mathematics
LC classification: QA9.56 .K73 1995