### arnold beckmann's pages

## Bounded Arithmetic and Resolution-Based Proof Systems

**Author:** Arnold Beckmann and Jan Johannsen

**Title:** Bounded Arithmetic and Resolution-Based Proof Systems

**Series:** Collegium Logicum Volume 7,
published by the Kurt GĂ¶del Society

**Year:** 2004

**Pages:** 126

**Abstract:**
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.