Author: Colloque international de logique Clermont-Ferrand 1975.