Computer Science Logic by Laurent Fribourg