Einführung in die formale Logik Mit 44 Abb - Harbeck, Gerd (Vieweg, 1966)