The Logic of Provability
by George Boolos
Category: Philosophy

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