Séminaire général de logique, 1983-1984… · Super Livre