Logic Colloquium '78 : proceedings of the colloquium held in Mons, August 1978 / ed. by Maurice Boffa ...