A Theory of Formal Deducibility (1950)

by Haskell B Curry
Venue:University of Notre Dame