Lectures on logic and computation : ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011 Ljubljana, Slovenia, August 2011 : selected lecture notes. ISBN 9783642314841. Published by Springer in 2012. Publication and catalogue information, links to buy online and reader comments.