1. Some extensional term models for combinatory logics and λ-calculi;Barendregt Hendrik,1971
2. Grundlagen der Kombinatorischen Logik;Curry Haskell;Amer. J. Math.,1930
3. Grundlagen der Kombinatorischen Logik;Curry Haskell;Amer. J. Math.,1930
4. Introduction to metamathematics;Kleene Stephen,1952
5. Natural deduction, a proof theoretic study;Prawitz,1965