Manyebook
Michael Huth
Logic in Computer Science