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