Seminaire general de logique, 1983-1984 | lit.salon