Computational Logic by Helmut Schwichtenberg & U. Berger