Combinatory Logic, Vol. 1Haskell B. Curry, Robert Feys, William Craig1. Formal Systems
2. Epitheory
3. Lambda-Conversion
4. The Church-Rosser Theorem
5. Intuitive Theory of Combinatorics
6. Synthetic Theory of Combinatorics
7. Logistic Foundations
8. Introduction to Illative Combinatory Logic
9. The Basic Theory of Functionality
10. The Stronger Theories of Functionality
€2,00