Logic In Computer Science Second Edition Edition by Michael Huth