Travaux du centre national de recherches de logique. (L'inst. de logique Univ. Libre, 1969)