TY  - BOOK
AU  - Krajíˆcek,Jan
TI  - Bounded arithmetic, propositional logic, and complexity theory
T2  - Encyclopedia of mathematics and its applications
SN  - 9780521452052
PY  - 1995///
CY  - Cambridge [England], New York, NY, USA
PB  - Cambridge University Press
KW  - Constructive mathematics
KW  - Proposition (Logic)
KW  - Computational complexity
N1  - Includes bibliographical references (p. 327-334) and indexes
UR  - http://www.loc.gov/catdir/toc/cam024/94047054.html
ER  -