The Logic of Provability by George S. Boolos & Boolos George S.