Changes

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