Logikkalküle - heftet, Tysk, 1978