Colloque international de logique. Clermont-Ferrand, 18-25 juillet 1975. - Centre National de la Recherche Scientifique edition, 1977.
Coll.Div.Info. FRANCE / Clermont-Ferrand
, 1975