Elementare Logik - Segeth, Wolfgang (Elementare Logik, 1972)