Université de Paris. Centre d'études de logique symbolique