TY  - CHAP
AU  - Bergman, Marc
AU  - Kanoui, Henry
TI  - Axiomatisation des manipulations symboliques en calcul des prédicats
BT  - Utilisation des calculateurs en mathématiques pures (Limoges, 1975)
AU  - Collectif
T3  - Bulletin de la Société mathématique de France. Mémoire
PY  - 1977
SP  - 15
EP  - 30
IS  - 49-50
PB  - Société mathématique de France
UR  - https://www.numdam.org/articles/10.24033/msmf.210/
DO  - 10.24033/msmf.210
ID  - MSMF_1977__49-50__15_0
ER  -