Title: Colloque international de logique
Subjects: Congresses, Logic, Symbolic and mathematical Logic