First-order functional calculus - Keene, Geaffrey Bourton (New York : Dover Publications, 1966)
Keywords: Logic, symbolic and mathematical