L’approche dialogique à la logique classique, modale et intuitionniste - avec un bref aperçu de la théorie constructive des types. Une Introduction
Parutions
L'analyse des savoirs, la construction du sens - UMR 8163