Computational Logic - heftet, Engelsk, 2011