Logic Colloquium 2007 - Françoise Delon; Ulrich Kohlenbach; Penelope Maddy; Frank Stephan (2010)