Title: Seminaire general de logique, 1983-1984
Subjects: Symbolic and mathematical Logic