Rett før sin død valgte Boolos ut 30 av artiklene sine til å utgis i bokform. Resultatet ble kanskje hans mest kjente arbeid, den posthumt utgitte . Denne boka inneholder mange av Boolos' arbeider som rehabiliterer Frege, et antall artikler om mengdelære, andreordens logikk og bevisteori, og tre korte artikler om Gödels ufullstendighetsteorem. Den behandler også arbeidet til Dedekind, Cantor og Russell.