TY - BOOK AU - Penelope Maddy (ed.) AU - Ulrich Kohlenbach (ed.) AU - Frank Stephan (ed.) AU - Francoise Delon (ed.) TI - Logic collequium 2007 SN - 9780521760652 U1 - 511.3 PY - 2010/// CY - New York PB - Cambridge University Press KW - Symbolic logic KW - Mathematical Logic KW - Mathematics KW - Science ER -