Βιβλιογραφία - Πηγές

- Γ. Τουρλάκης, Μαθηματική λογική : θεωρία και πράξη, Πανεπιστημιακές Εκδόσεις Κρήτης, 2011.

- Γ. Μητακίδης, Από τη Λογική στο Λογικό Προγραμματισμό και την Prolog, Εκδόσεις Καρδαμίτσα, 1992.

- H. Enderton, Μια μαθηματική εισαγωγή στη λογική, Πανεπιστημιακές Εκδόσεις Κρήτης, c2012.

- C. Allen, M. Hand, Logic Primer, Cambridge, Mass. : MIT Press, c2001.

- C. Chang and R. Lee, Symbolic Logic and Mechanical Theorem Proving, Academic Press, 1997.