Einführung in die formale Logik - Harbeck, Gerd (Vieweg, 1972)