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