The Logic of Provability

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

Reviews

No reviews yet.
Be the first to write one.

Highlights

No highlights yet.
Be the first to share one.