TY  - BOOK
AU  - Krajíček, Jan
TI  - Bounded arithmetic, propositional logic, and complexity theory
SN  - 9780521452052
SN  - 94047054
U1  - 511.3 KRA 
PY  - 1995///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Computational complexity
KW  - Constructive mathematics
KW  - Proposition (Logic)
N1  - Includes bibliographical references (p. 327-334) and indexes
ER  -