Degrees of Unsolvability of Constructible Sets of Integers. - George Boolos; Hilary Putnam (J. Symb. Log., 1968)

A proof of the Löwenheim-Skolem theorem. - George Boolos (Notre Dame J. Formal Log., 1970)

Computability and logic. - George Boolos; Richard C. Jeffrey (Cambridge Univ. Press, 1974)

On Kalmar's consistency proof and a generalization of the notion of ω-consistency. - George Stephen Boolos (Arch. Math. Log., 1975)

On Deciding the Truth of Certain Statements Involving the Notion of Consistency. - George Boolos (J. Symb. Log., 1976)

On Deciding the Provability of Certain Fixed Point Statements. - George Boolos (J. Symb. Log., 1977)

Reflection Principles and Iterated Consistency Assertions. - George Boolos (J. Symb. Log., 1979)

Provability, truth, and modal logic. - George Boolos (J. Philos. Log., 1980)

Meeting of the Association for Symbolic Logic: New York 1979. - George Boolos; Sy D. Friedman; Harold Hodes (J. Symb. Log., 1981)

Extremely Undecidable Sentences. - George Boolos (J. Symb. Log., 1982)

On the Nonexistence of Certain Normal Forms in the Logic of Provability. - George Boolos (J. Symb. Log., 1982)

Don't eliminate cut. - George Boolos (J. Philos. Log., 1984)

Annual Meeting of the Association for Symbolic Logic: Boston 1983. - George Boolos; Sy D. Friedman (J. Symb. Log., 1984)

Trees and finite satisfiability: proof of a conjecture of Burgess. - George Boolos (Notre Dame J. Formal Log., 1984)

An incomplete system of modal logic. - George Boolos; Giovanni Sambin (J. Philos. Log., 1985)

1-consistency and the diamond. - George Boolos (Notre Dame J. Formal Log., 1985)

Computability and logic (2. ed.). - George Boolos; Richard C. Jeffrey (Cambridge University Press, 1987)

A curious inference. - George Boolos (J. Philos. Log., 1987)

The Degree of the Set of Sentences of Predicate Provability Logic that are True Under Every Interpretation. - George Boolos; Vann McGee (J. Symb. Log., 1987)

Alphabetical order. - George Boolos (Notre Dame J. Formal Log., 1988)

Provability: the emergence of a mathematical modality. - George Boolos; Giovanni Sambin (Stud Logica, 1991)

The Analytical Completeness of Dzhaparidze's Polymodal Logics. - George Boolos (Ann. Pure Appl. Log., 1993)

Preface: Special Issue of Papers from the Conference on Proof Theory, Provability Logic, and Computation, Berne, Switzerland, 20-24 March 1994. - Sergei N. Artëmov; George Boolos; Erwin Engeler; Solomon Feferman; Gerhard Jäger; Albert Visser (Ann. Pure Appl. Log., 1995)

Frege's theorem and the Peano postulates. - George Boolos (Bull. Symb. Log., 1995)

Constructing Cantorian counterexamples. - George Boolos (J. Philos. Log., 1997)