Title: First-order functional calculus
Subjects: Symbolic and mathematical Logic