Title: Introduction to combinatory logic
Subjects: Combinatory logic, Logic, symbolic and mathematical