First-order functional calculus (Monographs in modern logic)