From b5d456c6db344cbb43f464d1d1676d71ac678b34 Mon Sep 17 00:00:00 2001
From: Silvio Rhatto <rhatto@riseup.net>
Date: Mon, 26 Jun 2023 23:28:36 -0300
Subject: Additional infinites in math

---
 epistemology.bib | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

(limited to 'epistemology.bib')

diff --git a/epistemology.bib b/epistemology.bib
index f0b3196..964a333 100644
--- a/epistemology.bib
+++ b/epistemology.bib
@@ -474,10 +474,22 @@
   title     = "The Infinity of Lists",
   author    = "Umberto Eco",
   year      = "2009",
-  publisher = "MACLEHOSE PRESS",
+  publisher = "MacLehose Press",
   isbn      = "1906694826,9781906694821",
   series    = "",
   edition   = "1",
   volume    = "",
   url       = ""
 }
+
+@book{fletcher1998,
+  author    = "Peter Fletcher",
+  title     = "Truth, Proof and Infinity: A Theory of Constructions and Constructive Reasoning",
+  publisher = "Springer Netherlands",
+  isbn      = "978-90-481-5105-9,978-94-017-3616-9",
+  year      = "1998",
+  series    = "Synthese Library 276",
+  edition   = "1",
+  volume    = "",
+  url       = "",
+}
-- 
cgit v1.2.3