George Boolos

	1995
13		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)
12		George Boolos: Frege's theorem and the Peano postulates. Bulletin of Symbolic Logic 1(3): 317-326 (1995)
	1993
11		George Boolos: The Analytical Completeness of Dzhaparidze's Polymodal Logics. Ann. Pure Appl. Logic 61(1-2): 95-111 (1993)
	1987
10		George Boolos, Richard C. Jeffrey: Computability and logic (2. ed.). Cambridge University Press 1987: I-X, 1-285
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)

Coauthor Index

1	Sergei N. Artëmov	[13]
2	Erwin Engeler	[13]
3	Solomon Feferman	[13]
4	Sy-David Friedman (Sy D. Friedman)	[5] [8]
5	Harold Hodes	[5]
6	Gerhard Jäger	[13]
7	Richard C. Jeffrey	[10]
8	Vann McGee	[9]
9	Hilary Putnam	[1]
10	Albert Visser	[13]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page