@PHDTHESIS{thién1999,
url = "
		http://www.theses.fr/1999PA066651",
title = "Logique pseudo-intuitionniste",
author = "Thiénot, Cédric",
year = "1999",
pages = "1 vol., 134 f",
note = "Thèse de doctorat dirigée par De Glas, Michel Informatique Paris 6 1999",
note = "1999PA066651",
}