Logic In Computer Science by Michael Huth