Title: Lambda-conversion and logic
Subjects: Lambda calculus, Symbolic and mathematical Logic