Logic colloquium 2006 proceedings - Cooper S Barry ed.; Logic Colloquium; Logic colloquium Nijmegen, Netherlands 27 Jul - 2 Aug 2006 (Cambridge CUP, 2009)
Keywords: Mathematical logic; Symbolic logic