Bounded arithmetic, propositional logic, and complexity theory /

Bibliographic Details
Main Author: Krajícek, Jan
Format: Book
Published: Cambridge : Cambridge University Press, 1995.
Series:Encyclopedia of mathematics and its applications ; v. 60
Subjects: