Boken 'The Logic of Provability', skrevet av en av de mest anerkjente nåværende filosofene innen matematikk, er en fullstendig omskreven og oppdatert oppfølger til forfatterens tidligere verk 'The Unprovability of Consistency' (1979). Den tar for seg forholdet mellom bevisbarhet og modallogikk, en gren av logikken som ble oppfunnet av Aristoteles, men som har vært lite verdsatt av filosoffer og nesten fullstendig ignorert av matematikere. Denne boken representerer den første vitenskapelige anvendelsen av modallogikk siden dens tilblivelse. Modallogikk handler om begrepene nødvendighet og mulighet. George Boolos viser hvordan konsepter, teknikker og metoder fra modallogikk belyser den viktigste logiske oppdagelsen i det tjuende århundre: Gödel's ufullstendighetsteoremer og de ‘selvrefererende’ setningene som er konstruert i beviset for disse teoremene. Boken utforsker hvordan en omtolkning av nødvendighet og mulighet kan forstås som bevisbarhet og konsistens.
