Haskell B. Curry. The undecidability of λK-conversion. Foundations of mathematics, Symposium papers commemorating the sixtieth birthday of Kurt Gödel

Name: Haskell B. Curry. The undecidability of λK-conversion. Foundations of mathematics, Symposium papers commemorating the sixtieth birthday of Kurt Gödel
Author: Jack J. Bulloff, Thomas C. Holyoke, and S. W. Hahn

by Jack J. Bulloff, Thomas C. Holyoke, and S. W. Hahn · 1 review · 1975

Reviewed by	Journal	Date	Access
Richard J. Orgass	The Journal of Symbolic Logic	1975	Restricted

Metaphysics & Logic

Also by Hahn

Contradiction in Motion: Hegel's Organic Concept of Life and Value (6 reviews)
The Philosophy of W. V. Quine (6 reviews)
The Philosophy of Charles Hartshorne (4 reviews)
Anaximander and the Architects: The Contributions of Egyptian and Greek Architectural Technologies to the Origins of Greek Philosophy (3 reviews)
Kant's Newtonian Revolution in Philosophy (3 reviews)
Reflections and Replies: Essays on the Philosophy of Tyler Burge (3 reviews)
Dawkins en observación: Una crítica al nuevo ateísmo (2 reviews)
It Is Right and Just (2 reviews)

Search PhilReviews for this title