George Boolos
Affiliations: Massachusetts Institute of Technology
According to our database^{1},
George Boolos
authored at least 25 papers
between 1968 and 1997.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on zbmath.org

on viaf.org

on id.loc.gov

on dnb.info

on web.mit.edu

on isni.org
On csauthors.net:
Bibliography
1997
J. Philos. Log., 1997
1995
Bull. Symb. Log., 1995
Preface: Special Issue of Papers from the Conference on Proof Theory, Provability Logic, and Computation, Berne, Switzerland, 2024 March 1994.
Ann. Pure Appl. Log., 1995
1993
Ann. Pure Appl. Log., 1993
1991
Stud Logica, 1991
1988
Notre Dame J. Formal Log., 1988
1987
The Degree of the Set of Sentences of Predicate Provability Logic that are True Under Every Interpretation.
J. Symb. Log., 1987
J. Philos. Log., 1987
Computability and logic (2. ed.).
Cambridge University Press, ISBN: 9780521299671, 1987
1985
Notre Dame J. Formal Log., 1985
J. Philos. Log., 1985
1984
Notre Dame J. Formal Log., 1984
J. Symb. Log., 1984
J. Philos. Log., 1984
1982
J. Symb. Log., 1982
J. Symb. Log., 1982
1981
J. Symb. Log., 1981
1980
J. Philos. Log., 1980
1979
J. Symb. Log., 1979
1977
J. Symb. Log., 1977
1976
J. Symb. Log., 1976
1975
On Kalmar's consistency proof and a generalization of the notion of ωconsistency.
Arch. Math. Log., 1975
1974
Cambridge Univ. Press, ISBN: 052120402X, 1974
1970
Notre Dame J. Formal Log., 1970
1968
J. Symb. Log., 1968