 | 1995 |
|---|
| 12 |       | Sergei N. Artëmov,
George Boolos,
Erwin Engeler,
Solomon Feferman,
Gerhard Jäger,
Albert Visser:
Preface: Special Issue of Papers from the Conference on Proof Theory, Provability Logic, and Computation, Berne, Switzerland, 20-24 March 1994.
Ann. Pure Appl. Logic 75(1-2): 1 (1995) |
| 11 |  | George Boolos:
Frege's theorem and the Peano postulates.
Bulletin of Symbolic Logic 1(3): 317-326 (1995) |
| 1993 |
|---|
| 10 | | George Boolos:
The Analytical Completeness of Dzhaparidze's Polymodal Logics.
Ann. Pure Appl. Logic 61(1-2): 95-111 (1993) |
| 1987 |
|---|
| 9 | | George Boolos,
Vann McGee:
The Degree of the Set of Sentences of Predicate Provability Logic that are True Under Every Interpretation.
J. Symb. Log. 52(1): 165-171 (1987) |
| 1984 |
|---|
| 8 | | George Boolos,
Sy D. Friedman:
Annual Meeting of the Association for Symbolic Logic: Boston 1983.
J. Symb. Log. 49(4): 1441-1449 (1984) |
| 1982 |
|---|
| 7 | | George Boolos:
Extremely Undecidable Sentences.
J. Symb. Log. 47(1): 191-196 (1982) |
| 6 | | George Boolos:
On the Nonexistence of Certain Normal Forms in the Logic of Provability.
J. Symb. Log. 47(3): 638-640 (1982) |
| 1981 |
|---|
| 5 | | George Boolos,
Sy D. Friedman,
Harold Hodes:
Meeting of the Association for Symbolic Logic: New York 1979.
J. Symb. Log. 46(2): 427-434 (1981) |
| 1979 |
|---|
| 4 | | George Boolos:
Reflection Principles and Iterated Consistency Assertions.
J. Symb. Log. 44(1): 33-35 (1979) |
| 1977 |
|---|
| 3 | | George Boolos:
On Deciding the Provability of Certain Fixed Point Statements.
J. Symb. Log. 42(2): 191-193 (1977) |
| 1976 |
|---|
| 2 | | George Boolos:
On Deciding the Truth of Certain Statements Involving the Notion of Consistency.
J. Symb. Log. 41(4): 779-781 (1976) |
| 1968 |
|---|
| 1 | | George Boolos,
Hilary Putnam:
Degrees of Unsolvability of Constructible Sets of Integers.
J. Symb. Log. 33(4): 497-513 (1968) |
