"Combinatory Logic, Volume I (Studies in Logic and the Foundations of Mathematics, 22)" - читать интересную книгу автора (Haskell Brooks Curry, Robert Feys, William Craig)