First-order functional calculus - KEENE, Geoffrey Bourton (Monographs in Modern Logic, 1966)