TY  - BOOK
AU  - Krajicek,Jan
TI  - Bounded arithmetic, propositional logic, and complex theory
SN  - 0-521-45205-8
AV  - MATH QA9.56.K73	 
PY  - 1995///
CY  - New York
PB  - Cambrigde University Press
KW  - Constructive mathematics
KW  - Propositon (logic)
KW  - Competational complexity
N1  - Includes bibliographical references and index
ER  -