Search the dblp DataBase
George Boolos: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- 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] - 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] - 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] - 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] - 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] - 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] - George Boolos
Extremely Undecidable Sentences. [Citation Graph (0, 0)][DBLP]
J. Symb. Log., 1982, v:47, n:1, pp:191-196 [Journal] - 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] - 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] - 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] - 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] - 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.004secs, Finished in 0.004secs
| 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 |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002