A theory of formal deducibility - Curry, Haskell B (Notre Dame Mathematical Lectures, 6, 1950)