Title: Proceedings of the colloquium / Logic Colloquium
Subjects: Symbolic and mathematical Logic, Congresses