Hilary Putnam

Publication Activity (10 Years)

Years Active: 1957-2006
Publications (10 Years): 0

Publications

Hilary Putnam
After Gödel. Log. J. IGPL 14 (5) (2006)
Hilary Putnam
Nonstandard Models and Kripke's Proof of the Gödel Theorem. Notre Dame J. Formal Log. 41 (1) (2000)
Hilary Putnam
Comment on J. A. Fodor's "Cognitive science and the twin-Earth problem". Notre Dame J. Formal Log. 23 (3) (1982)
Hilary Putnam
Models and Reality. J. Symb. Log. 45 (3) (1980)
James C. Owings, Hilary Putnam, Gerald E. Sacks
Meeting of the Association for Symbolic Logic Washington, D.C., 1975. J. Symb. Log. 41 (1) (1976)
Joan D. Lukas, Hilary Putnam
Systems of Notations and the Ramified Analytical Hierarchy. J. Symb. Log. 39 (2) (1974)
Herbert B. Enderton, Hilary Putnam
A Note on the Hyperarithmetical Hierarchy. J. Symb. Log. 35 (3) (1970)
George Boolos, Hilary Putnam
Degrees of Unsolvability of Constructible Sets of Integers. J. Symb. Log. 33 (4) (1968)
Burton Dreben, Hilary Putnam
The Craig interpolation lemma. Notre Dame J. Formal Log. 8 (3) (1967)
Gustav Hensel, Hilary Putnam
On the Notational Independence of Various Hierarchies of Degrees of Unsolvability. J. Symb. Log. 30 (1) (1965)
Hilary Putnam
Trial and Error Predicates and the Solution to a Problem of Mostowski. J. Symb. Log. 30 (1) (1965)
Hilary Putnam
A note on constructible sets of integers. Notre Dame J. Formal Log. 4 (4) (1963)
Martin Davis, Hilary Putnam
A Computing Procedure for Quantification Theory. J. ACM 7 (3) (1960)
Hilary Putnam
An Unsolvable Problem in Number Theory. J. Symb. Log. 25 (3) (1960)
Martin Davis, Hilary Putnam
Reductions of Hilbert's Tenth Problem. J. Symb. Log. 23 (2) (1958)
Georg Kreisel, Hilary Putnam
Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül. Arch. Math. Log. 3 (3-4) (1957)
Hilary Putnam
Decidability and Essential Undecidability. J. Symb. Log. 22 (1) (1957)