Computational Logic door Helmut Schwichtenberg & U. Berger