Grundlagen der kombinatorischen Logik - Curry, Haskell B. 1900-1982 ([The Johns Hopkins Press], 1930)