D. A. Domestiques, L. Paris, and . Harmattan, Logiques, 1983.