The Logic of Provability (1993)

by George Boolos