Elementare Logik Prädikatenlogik der 1. Stufe - Mates, Benson (Moderne Mathematik in elementarer Darstellung, 1969)