Lectures on logic and computation ESSLLI 2010, Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011 ; selected lecture notes - Bezhanishvili, Nick (Springer, 2012)
Keywords: Berechnungstheorie; Logik; Konferenzschrift