TY  - JOUR
AU  - Gillet, É.
TI  - L'ordinateur : un outil au service du logicien
JO  - Les cahiers de l'analyse des données
PY  - 1990
SP  - 323
EP  - 330
VL  - 15
IS  - 3
PB  - Dunod-Gauthier-Villars
PP  - Paris
UR  - http://www.numdam.org/item/CAD_1990__15_3_323_0/
LA  - fr
ID  - CAD_1990__15_3_323_0
ER  -