TY - JOUR T1 - Meeting of the Association for Symbolic Logic: Orleans, France, 1972. JO - J. Symb. Log. PY - 2014/03/12 AU - Calais JP AU - Derrick J AU - Sabbagh G ED - DO - DOI: 10.1017/S0022481200065282 VL - 39 SP - 371 EP - 389 Y2 - 2025/11/27 ER -