Update home authored by Ogilvie, D.H. (Duncan)'s avatar Ogilvie, D.H. (Duncan)
......@@ -14,4 +14,5 @@ Logic:
- 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
- https://www.cs.nmsu.edu/~rth/cs/cs475/class%20notes/Quantifiers.pdf
\ No newline at end of file
- https://www.cs.nmsu.edu/~rth/cs/cs475/class%20notes/Quantifiers.pdf
- https://webcache.googleusercontent.com/search?q=cache:PotZW30oDmsJ:https://math.berkeley.edu/~sagrawal/su14_math55/notes_quantifiers.pdf+&cd=1&hl=en&ct=clnk&gl=nl
\ No newline at end of file