%0 Book Section
%A Bergman, Marc
%A Kanoui, Henry
%T Axiomatisation des manipulations symboliques en calcul des prédicats
%B Utilisation des calculateurs en mathématiques pures (Limoges, 1975)
%A Collectif
%S Mémoires de la Société Mathématique de France
%D 1977
%P 15-30
%N 49-50
%I Société mathématique de France
%U http://www.numdam.org/articles/10.24033/msmf.210/
%R 10.24033/msmf.210
%F MSMF_1977__49-50__15_0