@article{00589785,
title = {Logic and },
journal = {Bulletin of the Belgian Mathematical Society - Simon Stevin},
volume = {1},
year = {1994},
pages = {191-238},
zbl = {0804.11024},
language = {en},
url = {http://dml.mathdoc.fr/item/00589785}
}
Bruyère, Véronique; Hansel, Georges; Michaux, Christian; Villemaire, Roger. Logic and . Bulletin of the Belgian Mathematical Society - Simon Stevin, Tome 1 (1994) pp. 191-238. http://gdmltest.u-ga.fr/item/00589785/