Winner of the Nobel Prize in Literature Proofs and Theories, winner of the PEN/Martha Albrand Award for First Non-Fiction, is an illuminating collection of essa
This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesti
The lecture courses in this work are derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory held at Leeds University. The contributio
This collection includes papers devoted to the structural theory of proofs, which was born in the framework of Hilbert's program and is applied now in connectio
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introducti