The Logic of Provability
The Logic of ProvabilityGeorge Boolos
Sign up to use
The Logic of Provability

The Logic of Provability

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