Logic and Databases - pocket, Engelsk, 2007