Title: Logic Colloquium (Studies in Logic & the Foundations of Mathematics)
Subjects: Symbolic and mathematical Logic