Dominique Larchey-Wendling. Preuves, réfutations et contre-modèles dans des logiques intuitionnistes. PhD thesis, Henri Poincaré University, Nancy, France, 2000. [doi]
@phdthesis{hal-16480,
title = {Preuves, réfutations et contre-modèles dans des logiques intuitionnistes},
author = {Dominique Larchey-Wendling},
year = {2000},
url = {https://tel.archives-ouvertes.fr/tel-01746507},
researchr = {https://researchr.org/publication/hal-16480},
cites = {0},
citedby = {0},
school = {Henri Poincaré University, Nancy, France},
}