Boolos, a pre-eminent philosopher of mathematics, investigates the relationship between provability and modal logic.

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 Unprovability of Consistency is concerned with connections between two branches of logic: proof theory and modal logic. Modal logic is the study of the prin

This volume is a collection of essays in honour of Professor Mohammad Ardeshir. It examines topics which, in one way or another, are connected to the various as

A serious introductory treatment geared toward non-logicians, this survey traces the development of mathematical logic from ancient to modern times and discusse