home.md

@@ -13,4 +13,5 @@ Logic:
 - https://math.berkeley.edu/~sagrawal/su14_math55/notes_quantifiers.pdf
 - https://faculty.washington.edu/smcohen/120/QLEquiv.pdf
 - http://www3.cs.stonybrook.edu/~pfodor/courses/CSE215/L05-PredicativeLogic.pdf
-- https://en.wikipedia.org/wiki/Logical_equivalence
\ No newline at end of file
+- https://en.wikipedia.org/wiki/Logical_equivalence
+- https://www.cs.nmsu.edu/~rth/cs/cs475/class%20notes/Quantifiers.pdf
\ No newline at end of file