Logic and Databases - pocket, Engelska, 2007