Dominique Larchey-Wendling. Preuves, réfutations et contre-modèles dans des logiques intuitionnistes. PhD thesis, Henri Poincaré University, Nancy, France, 2000. [doi]
No references recorded for this publication.
No citations of this publication recorded.