Logic in Computer Science door Mark Ryan & Michael Huth