Intuitionistic Logic Lecture Notes
Conditions d'achèvement
N. Bezhanishvilli, D. de Jongh, Intuitionistic Logic, ESSLLI 2006 Lecture notes
Cliquer le lien PP-2006-25.text.pdf pour afficher le fichier.