Déduction avec sortes ordonnées et égalités

Claus Hintermeier. Déduction avec sortes ordonnées et égalités. PhD thesis, Henri Poincaré University, Nancy, France, 1995. [doi]

Abstract

Abstract is missing.