20 nov. 2015 ... L'exercice de l'Habilitation à Diriger des Recherches étant défini de manière équi
- ... 1 mon initiation à la logique mathématique, grâce aux cours de Michel ... des
ses prochains livres, à savoir Nécessité ou Contingence [146], ...... et par la
propriété d'existence dans le calcul intuitionniste des prédicats :. 
