Meeting of the Association for Symbolic Logic: Orleans, France, 1972. - J. P. Calais; John Derrick; Gabriel Sabbagh (J. Symb. Log., 1974)