First-order functional calculus - Keene, Geoffrey Bourton (London Routledge & Paul, 1964)
Keywords: Logic, Symbolic and mathematical