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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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