more

KWARC · Feb 24, 2025 · 12a0c36 · 12a0c36
1 parent a3f7b91
commit 12a0c36
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/extpubs.bib b/extpubs.bib
@@ -7,6 +7,13 @@ @STRING{wil
 @STRING{spring   = "Springer-Verlag"}
 @STRING{JWS = {Web Semantics: Science, Services and Agents on the World Wide Web}}
 
+@book{Lemmon:BL65,
+ title = {Beginning logic},
+ author = {Lemmon, Edward John},
+ year = {1965}, 
+ publisher = {Nelson},
+ url = {https://archive.org/details/beginninglogic0000lemm}}
+
 @InProceedings{VreWelKam:tsmmdui24,
   author = "Vre{\v{c}}ar, Luka and Wells, Joe and Kamareddine, Fairouz",
   title = "Towards Semantic Markup of Mathematical Documents via User Interaction",