Computer Science Logic by Egon Borger