TY  - GEN
AU  - Krajicek, Jan 
TI  - Bounded arithmetic, propositional logic and complexity theory, Vol. 60
SN  - 9780521452052
U1  - 511.3 KRA 
PY  - 1995///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Constructive Mathematics
KW  - Proposition
KW  - Logic
KW  - Computational Complexity
KW  - Mathematical Logic
ER  -