The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

George Boolos: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1995, v:75, n:1-2, pp:1- [Journal]
  2. George Boolos
    The Analytical Completeness of Dzhaparidze's Polymodal Logics. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1993, v:61, n:1-2, pp:95-111 [Journal]
  3. George Boolos
    Frege's theorem and the Peano postulates. [Citation Graph (0, 0)][DBLP]
    Bulletin of Symbolic Logic, 1995, v:1, n:3, pp:317-326 [Journal]
  4. George Boolos
    On Deciding the Truth of Certain Statements Involving the Notion of Consistency. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1976, v:41, n:4, pp:779-781 [Journal]
  5. George Boolos
    On Deciding the Provability of Certain Fixed Point Statements. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1977, v:42, n:2, pp:191-193 [Journal]
  6. George Boolos
    Reflection Principles and Iterated Consistency Assertions. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1979, v:44, n:1, pp:33-35 [Journal]
  7. George Boolos
    Extremely Undecidable Sentences. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1982, v:47, n:1, pp:191-196 [Journal]
  8. George Boolos
    On the Nonexistence of Certain Normal Forms in the Logic of Provability. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1982, v:47, n:3, pp:638-640 [Journal]
  9. George Boolos, Sy D. Friedman
    Annual Meeting of the Association for Symbolic Logic: Boston 1983. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1984, v:49, n:4, pp:1441-1449 [Journal]
  10. George Boolos, Sy D. Friedman, Harold Hodes
    Meeting of the Association for Symbolic Logic: New York 1979. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1981, v:46, n:2, pp:427-434 [Journal]
  11. George Boolos, Vann McGee
    The Degree of the Set of Sentences of Predicate Provability Logic that are True Under Every Interpretation. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1987, v:52, n:1, pp:165-171 [Journal]
  12. George Boolos, Hilary Putnam
    Degrees of Unsolvability of Constructible Sets of Integers. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1968, v:33, n:4, pp:497-513 [Journal]

Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002