Books by Logic Colloquium (1981 Marseille, France)