First-order functional calculus - Keene, Geoffrey Bourton (Monographs in modern logic, 1964)