Combinatory Logic door Haskell B. Curry, Lev D. Beklemishev & Lev Beklemishev