Séminaire général de logique, 1982-83… · Super Livre