Logic Colloquium 2006 /
Logic Colloquium(2006 :Nijmegen, Netherlands)
Cooper, S. B.(S. Barry)
Cambridge : Cambridge University Press ; Ithaca, N.Y. : Association for Symbolic Logic,
2009.
Includes bibliographical references.
Logic, Symbolic and mathematical