home.md

@@ -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)
 - 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