Hilary Putnam

18 papers Journal 17
YearRankTypeTitle / Venue / Authors
2016 — ch.
On Davis's "Pragmatic Platonism".
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Hilary Putnam
2006 J jnl
After Gödel.
Log. J. IGPL
Hilary Putnam
2000 J jnl
Nonstandard Models and Kripke's Proof of the Gödel Theorem.
Notre Dame J. Formal Log.
Hilary Putnam
1982 J jnl
Comment on J. A. Fodor's "Cognitive science and the twin-Earth problem".
Notre Dame J. Formal Log.
Hilary Putnam
1980 J jnl
Models and Reality.
J. Symb. Log.
Hilary Putnam
1976 J jnl
Meeting of the Association for Symbolic Logic Washington, D.C., 1975.
J. Symb. Log.
James C. Owings, Hilary Putnam, Gerald E. Sacks
1974 J jnl
Systems of Notations and the Ramified Analytical Hierarchy.
J. Symb. Log.
Joan D. Lukas, Hilary Putnam
1970 J jnl
A Note on the Hyperarithmetical Hierarchy.
J. Symb. Log.
Herbert B. Enderton, Hilary Putnam
1968 J jnl
Degrees of Unsolvability of Constructible Sets of Integers.
J. Symb. Log.
George Boolos, Hilary Putnam
1967 J jnl
The Craig interpolation lemma.
Notre Dame J. Formal Log.
Burton Dreben, Hilary Putnam
1965 J jnl
On the Notational Independence of Various Hierarchies of Degrees of Unsolvability.
J. Symb. Log.
Gustav Hensel, Hilary Putnam
1965 J jnl
Trial and Error Predicates and the Solution to a Problem of Mostowski.
J. Symb. Log.
Hilary Putnam
1963 J jnl
A note on constructible sets of integers.
Notre Dame J. Formal Log.
Hilary Putnam
1960 J jnl
A Computing Procedure for Quantification Theory.
J. ACM
Martin Davis, Hilary Putnam
1960 J jnl
An Unsolvable Problem in Number Theory.
J. Symb. Log.
Hilary Putnam
1958 J jnl
Reductions of Hilbert's Tenth Problem.
J. Symb. Log.
Martin Davis, Hilary Putnam
1957 J jnl
Decidability and Essential Undecidability.
J. Symb. Log.
Hilary Putnam
1957 J jnl
Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül.
Arch. Math. Log.
Georg Kreisel, Hilary Putnam