AboutSign inJoin
The Logic of Provability

The Logic of Provability

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