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 @ b34e1050
...@@ -7,3 +7,7 @@ See the right hand side for all the wiki pages. ...@@ -7,3 +7,7 @@ See the right hand side for all the wiki pages.
- [ST&V Appendix A](http://www.cs.uu.nl/docs/vakken/pc/1617/supplements/appendixA.pdf) - [ST&V Appendix A](http://www.cs.uu.nl/docs/vakken/pc/1617/supplements/appendixA.pdf)
- http://www.wolframalpha.com/input/?i=a%3C%3D%3Eb - http://www.wolframalpha.com/input/?i=a%3C%3D%3Eb
- http://www.wolframalpha.com/input/?i=!(a%3C%3D%3Eb) - http://www.wolframalpha.com/input/?i=!(a%3C%3D%3Eb)
- 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