J.B. Paris

• Logic Colloquium (Studies in Logic & the Foundations of Mathematics)