Author: Université de Paris VII. Séminaire général de logique