Bounded arithmetic, propositional logic, and complexity theory /

Bibliographic Details

Main Author:	Krajíček, Jan
Format:	Book
Language:	English
Published:	Cambridge [England] ; New York, NY, USA : Cambridge University Press, 1995.
Series:	Encyclopedia of mathematics and its applications.
Subjects:	Constructive mathematics. Proposition (Logic) Computational complexity.