From 65f988c9e5465793990145430ba63a0cd857ade4 Mon Sep 17 00:00:00 2001
From: Yann Salmon <nomail@yannsalmon.fr>
Date: Wed, 5 Feb 2020 17:27:11 +0100
Subject: [PATCH] =?UTF-8?q?r=C3=A9f=C3=A9rence?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 latex/commun.bib | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/latex/commun.bib b/latex/commun.bib
index 2292959..79d458b 100644
--- a/latex/commun.bib
+++ b/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}
+}