Changes

Page history
Update home authored by Ogilvie, D.H. (Duncan)'s avatar Ogilvie, D.H. (Duncan)
Show whitespace changes
Inline Side-by-side
home.md
View page @ 01fc1071
......@@ -14,3 +14,4 @@ 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