référence

latex/commun.bib

@@ -6,3 +6,11 @@
     volume = {1},
     number = {2}
 }
+
+@MISC{Palmgren_SemHeyting,
+    author = {Erik Palmgren},
+    title = {Semantics of intuitionistic propositional logic},
+    year = {2009},
+    publisher = {Uppsala University},
+    howpublished = {Notes de cours}
+}