George Boolos

24 papers Journal 22
YearRankTypeTitle / Venue / Authors
1997 J jnl
Constructing Cantorian counterexamples.
J. Philos. Log.
George Boolos
1995 J jnl
Frege's theorem and the Peano postulates.
Bull. Symb. Log.
George Boolos
1995 J jnl
Preface: Special Issue of Papers from the Conference on Proof Theory, Provability Logic, and Computation, Berne, Switzerland, 20-24 March 1994.
Ann. Pure Appl. Log.
Sergei N. Artëmov, George Boolos, Erwin Engeler, Solomon Feferman, Gerhard Jäger, Albert Visser
1993 J jnl
The Analytical Completeness of Dzhaparidze's Polymodal Logics.
Ann. Pure Appl. Log.
George Boolos
1991 J jnl
Provability: the emergence of a mathematical modality.
Stud Logica
George Boolos, Giovanni Sambin
1988 J jnl
Alphabetical order.
Notre Dame J. Formal Log.
George Boolos
1987 J jnl
A curious inference.
J. Philos. Log.
George Boolos
1987 — book
Computability and logic (2. ed.).
George Boolos, Richard C. Jeffrey
1987 J jnl
The Degree of the Set of Sentences of Predicate Provability Logic that are True Under Every Interpretation.
J. Symb. Log.
George Boolos, Vann McGee
1985 J jnl
1-consistency and the diamond.
Notre Dame J. Formal Log.
George Boolos
1985 J jnl
An incomplete system of modal logic.
J. Philos. Log.
George Boolos, Giovanni Sambin
1984 J jnl
Annual Meeting of the Association for Symbolic Logic: Boston 1983.
J. Symb. Log.
George Boolos, Sy D. Friedman
1984 J jnl
Don't eliminate cut.
J. Philos. Log.
George Boolos
1984 J jnl
Trees and finite satisfiability: proof of a conjecture of Burgess.
Notre Dame J. Formal Log.
George Boolos
1982 J jnl
Extremely Undecidable Sentences.
J. Symb. Log.
George Boolos
1982 J jnl
On the Nonexistence of Certain Normal Forms in the Logic of Provability.
J. Symb. Log.
George Boolos
1981 J jnl
Meeting of the Association for Symbolic Logic: New York 1979.
J. Symb. Log.
George Boolos, Sy D. Friedman, Harold Hodes
1980 J jnl
Provability, truth, and modal logic.
J. Philos. Log.
George Boolos
1979 J jnl
Reflection Principles and Iterated Consistency Assertions.
J. Symb. Log.
George Boolos
1977 J jnl
On Deciding the Provability of Certain Fixed Point Statements.
J. Symb. Log.
George Boolos
1976 J jnl
On Deciding the Truth of Certain Statements Involving the Notion of Consistency.
J. Symb. Log.
George Boolos
1974 — book
Computability and logic.
George Boolos, Richard C. Jeffrey
1970 J jnl
A proof of the Löwenheim-Skolem theorem.
Notre Dame J. Formal Log.
George Boolos
1968 J jnl
Degrees of Unsolvability of Constructible Sets of Integers.
J. Symb. Log.
George Boolos, Hilary Putnam