Search the dblp DataBase
Hilary Putnam :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] Hilary Putnam After Gödel. [Citation Graph (0, 0)][DBLP ] Logic Journal of the IGPL, 2006, v:14, n:5, pp:745-754 [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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Hilary Putnam Decidability and Essential Undecidability. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1957, v:22, n:1, pp:39-54 [Journal ] 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 ] 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 ] Hilary Putnam Models and Reality. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1980, v:45, n:3, pp:464-482 [Journal ] 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