Boolos se graduó en la Universidad de Princeton en 1961 con un BA en matemáticas.

en Filosofía que otorgaba el Massachusetts Institute of Technology, bajo la dirección de Hilary Putnam.

Su puntaje se ubicó entre los más altos conseguidos alguna vez por un jugador estadounidense.

Si bien Kurt Gödel escribió el primer artículo sobre lógica demostrativa, que aplica la lógica modal — la lógica de la necesidad y posibilidad — a la teoría de la demostración matemática, pero Gödel nunca desarrollo el tema de una manera significativa.

Boolos era una autoridad en el matemático y filósofo alemán del siglo XIX Gottlob Frege.

Desde entonces el sistema resultante ha sido objeto de intensos trabajos.

David Lewis empleó cuantificación plural en su Parts of Classes para obtener un sistema en el cual la teoría de conjuntos Zermelo-Fraenkel y los axiomas de Peano eran todos teoremas.

Mientras que por lo general se identifica a Boolos como el creador de la cuantificación plural, Peter Simons (1982) sostiene que la idea seminal se encuentra en trabajos de Stanislaw Lesniewski.

LLL 1973, "A note on Evert Willem Beth's theorem," Bulletin de l'Academie Polonaise des Sciences 2: 1-2.

1974, "Arithmetical functions and minimization," Zeitschrift für mathematische Logik und Grundlagen der Mathematik 20: 353-354.

1975, "Friedman's 35th problem has an affirmative solution," Notices of the American Mathematical Society 22: A-646.

1975a, "On Kalmar's consistency proof and a generalization of the notion of omega-consistency," Archiv für Mathematische Logik und Grundlagenforschung 17: 3-7.

1979, "Reflection principles and iterated consistency assertions," Journal of Symbolic Logic 44: 33-35.

1980a, "On systems of modal logic with provability interpretations," Theoria 46: 7-18.

1980b, "Provability in arithmetic and a schema of Grzegorczyk," Fundamenta Mathematicae 106: 41-45.

1984, "Don't eliminate cut," Journal of Philosophical Logic 13: 373-378.

1985, "1-consistency and the diamond," Notre Dame Journal of Formal Logic 26: 341-347.

1986-87, "Saving Frege from contradiction," Proceedings of the Aristotelian Society 87: 137-151.

On Being and Saying: Essays for Richard Cartwright.

1988, "Alphabetical order," Notre Dame Journal of Formal Logic 29: 214-215.

An afterword appeared under the title "A letter from George Boolos," ibid., p. 676.

A. Uspensky, Gödel's Incompleteness Theorem, Journal of Symbolic Logic 55: 889-891.

1991a (with Giovanni Sambin), "Provability: The emergence of a mathematical modality," Studia Logica 50: 1-23.

1994a, "The advantages of honest toil over theft," in A. George, ed., Mathematics and Mind.

1994a, "Gödel's second incompleteness theorem explained in words of one syllable," Mind 103: 1-3.

1995, "Frege's theorem and the Peano postulates," Bulletin of Symbolic Logic 1: 317-326.

1995a, "Introductory note to *1951" in Solomon Feferman et al., eds., Kurt Gödel, Collected Works, vol.

LLL 1996, "The hardest logical puzzle ever," Harvard Review of Philosophy 6: 62-65.

1997b (with Richard Heck), "Die Grundlagen der Arithmetik, §§82-83" in Matthias Schirn, ed., Philosophy of Mathematics Today.

French translation in Mathieu Marion and Alain Voizard eds., 1998.