TY - BOOK AU - Krajicek Jan TI - Bounded arithmetic, propositional logic, and complexity theory SN - 0-521-45205-8 U1 - 511.3 PY - 1995/// CY - Cambridge PB - CUP KW - Computational complexity KW - Constructive mathematics KW - Proposition(Logic) ER -