Logic Colloquium '95 proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995 (Cambridge University Press, 2016)
First published: 1998