Computer Science Logic by Julian Bradfield