home.md

@@ -6,4 +6,8 @@ See the right hand side for all the wiki pages.
 - [Java 8 lambda expressions](https://www.tutorialspoint.com/java8/java8_lambda_expressions.htm)
 - [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)
\ No newline at end of file
+- 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