Logic Colloquium '95 : Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995

Omtale

This volume presents the conference proceedings of the 1995 Annual European Summer Meeting of the Association of Symbolic Logic. The papers here cover all topics of classical mathematical logic. There is also a tutorial on recent developments in theoretical computer science, and plenary lectures on the foundation and evolution of set theory.