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 @ ae3fa47d
...@@ -15,3 +15,4 @@ Logic: ...@@ -15,3 +15,4 @@ Logic:
- http://www3.cs.stonybrook.edu/~pfodor/courses/CSE215/L05-PredicativeLogic.pdf - http://www3.cs.stonybrook.edu/~pfodor/courses/CSE215/L05-PredicativeLogic.pdf
- https://en.wikipedia.org/wiki/Logical_equivalence - https://en.wikipedia.org/wiki/Logical_equivalence
- https://www.cs.nmsu.edu/~rth/cs/cs475/class%20notes/Quantifiers.pdf - 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