Computer Science Logic by J. Flum & M. Rodriguez-Artalejo