Computability and Logic - innbundet, Engelsk, 2007