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