Computer Science Logic by H. Kleine Buening & Hans Kleine Buning