A theory of formal deducibility

by Haskell B. Curry · 2 reviews · 1951–1969

Reviewed by Journal Date Access
Ann S. Ferebee The Journal of Symbolic Logic 1969-05-29 Restricted
Wilhelm Ackermann The Journal of Symbolic Logic 1951 Restricted

Metaphysics & Logic

Also by Curry

Search PhilReviews for this title