Sèminaire général de logique, 1983-1984 | lit.salon