Logic Colloquium 2005 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005 /
Logic Colloquium(2005 :Athens, Greece)
Dimitracopoulos, Costas.
Association for Symbolic Logic.
Chicago, Ill. : Association for Symbolic Logic ; Cambridge : Cambridge University Press,
2008.
Includes bibliographical references.
Logic, Symbolic and mathematical