This book is about two topics on the borderline between logic and complexity theory, and in particular about the connections between these. The first topic is Bounded Arithmetic, and the other is the complexity of propositional proof systems.
Your email address will not be published. Required fields are marked *
Save my name, email, and website in this browser for the next time I comment.