home.md

@@ -16,3 +16,9 @@ Logic:
 - https://en.wikipedia.org/wiki/Logical_equivalence
 - 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
+- http://www.eecs.yorku.ca/course_archive/2008-09/S/1019/Website_files/06-nested-quantifiers.pdf
+- http://www.eecs.yorku.ca/course_archive/2008-09/S/1019/Website_files/06-nested-quantifiers.pdf
+- https://www.cise.ufl.edu/class/cot3100sp09/Slides/Section1_4.pdf
+- https://en.wikipedia.org/wiki/Skolem_normal_form
+- http://profs.sci.univr.it/~farinelli/courses/ar/slides/skolem.pdf
+- https://www.cs.utexas.edu/~mooney/cs343/slide-handouts/inference.4.pdf
\ No newline at end of file