A theory of formal deducibility - Curry, Haskell B. 1900-1982 (Notre Dame mathematical lectures, 1957)