Computer Science Logic door Peter Clote & Helmut Schwichtenberg