1 - Formal methods : An introduction to symbolic logic and to the study of effective opeations in arithmetic and logic |
2 - Physique quantique et géométrie : formulation mathématique cohérente des phénomènes quantiques |
3 - Séminaire sur les structures algébriques ordonnées. Sélection d'exposés 1984-1987. Volume II |