Computer Science Logic by Peter Clote & Helmut Schwichtenberg