Title: Logic Colloquium 76
Subjects: Symbolic and mathematical Logic, Congresses