2012 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM '12 Manchester, UK July 12–18, 2012. Issue 3 (24th October 2014) - Unknown