Computer Science Logic by E. Grandjean & K. Seyr