Logic collequium 2007 - Penelope Maddy (ed.); Ulrich Kohlenbach (ed.); Frank Stephan (ed.); Francoise Delon (ed.) (New York: Cambridge University Press, 2010)
Keywords: Symbolic logic; Mathematical Logic; Mathematics; Science