by Haskell B. Curry
No reviews yet. Be the first!
Outlines of a formalist philosophy of ma...
Foundations of mathematical logic
A theory of formal deducibility
Leçons de logique algébrique
To H.B. Curry