Iris van der Giessen

Un aperçu de la prouvabilité et des techniques de preuve dans les systèmes logiques.

Cet article parle d'un nouveau calcul séquentiel pour la logique intuitionniste L forte.