Axiomatisation des manipulations symboliques en calcul des prédicats Marc Bergman; Henry Kanoui — 1977 Mémoires de la Société Mathématique de France