The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Hilary Putnam: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Martin Davis, Hilary Putnam
    A Computing Procedure for Quantification Theory. [Citation Graph (6, 0)][DBLP]
    J. ACM, 1960, v:7, n:3, pp:201-215 [Journal]
  2. Hilary Putnam
    After Gödel. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2006, v:14, n:5, pp:745-754 [Journal]
  3. 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]
  4. Martin Davis, Hilary Putnam
    Reductions of Hilbert's Tenth Problem. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1958, v:23, n:2, pp:183-187 [Journal]
  5. Herbert B. Enderton, Hilary Putnam
    A Note on the Hyperarithmetical Hierarchy. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1970, v:35, n:3, pp:429-430 [Journal]
  6. Gustav Hensel, Hilary Putnam
    On the Notational Independence of Various Hierarchies of Degrees of Unsolvability. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1965, v:30, n:1, pp:69-86 [Journal]
  7. Joan D. Lukas, Hilary Putnam
    Systems of Notations and the Ramified Analytical Hierarchy. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1974, v:39, n:2, pp:243-253 [Journal]
  8. James C. Owings, Hilary Putnam, Gerald E. Sacks
    Meeting of the Association for Symbolic Logic Washington, D.C., 1975. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1976, v:41, n:1, pp:279-288 [Journal]
  9. Hilary Putnam
    Decidability and Essential Undecidability. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1957, v:22, n:1, pp:39-54 [Journal]
  10. Hilary Putnam
    An Unsolvable Problem in Number Theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1960, v:25, n:3, pp:220-232 [Journal]
  11. Hilary Putnam
    Trial and Error Predicates and the Solution to a Problem of Mostowski. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1965, v:30, n:1, pp:49-57 [Journal]
  12. Hilary Putnam
    Models and Reality. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1980, v:45, n:3, pp:464-482 [Journal]
  13. Hilary Putnam
    Nonstandard Models and Kripke's Proof of the Gödel Theorem. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 2000, v:41, n:1, pp:53-58 [Journal]

Search in 0.022secs, Finished in 0.023secs
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