D.; Lascar, D. and Emiley, T.J. Van Dalen

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