Einführung in die formale Logik / Georg Klaus. Berlin : Dt. Verl. der Wiss., 1959