Title: Combinators, -terms and proof theory
Subjects: Combinatory logic, Proof theory, Philosophy