TY  - BOOK
AU  - Krajicek, Jan
TI  - Bounded arithmetic, propositional logic, and complexity theo
T2  - Encyclopedia of mathematics and its applications
SN  - 0-521-45205-8
U1  - 511.3/KRA 
PY  - 1995///
CY  - Cambridge
PB  - Cambridge Uni Pr
KW  - Computitional complexity
KW  - Proposition(Logic)
KW  - Constructive mathematics
KW  - Mathematics
ER  -