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.

No reviews yet.
Be the first to write one.

No highlights yet.
Be the first to share one.