Logic colloquium (1994 ; Clermont-Ferrand) — 1 œuvres