Elementare Logik (Prädikatenlogik der ersten Stufe) - Mates, Benson 1919-2009 (Vandenhoeck & Ruprecht, 1997)