Title: First-order functional calculus
Subjects: Symbolic and mathematical Logic, Logique symbolique et mathématique, Mathematische Logik