Manna, Zohar
The logical basis for computer programming; Vol. II: deductive systems
Addison-Wesley, 1990
 Buku Teks
Hogger, Christopher John
Introduction to logic programming
Academic Press, 1984
 Buku Teks
Manna, Zohar
Lectures on the logic of computer programming
Society for Industrial and Applied Mathematics, 1980
 eBooks
Greenstein, Carol Horn
Dictionary of logical terms and symbols
Van Nostrand Reinhold, 1978
 Buku Referensi
Ben-Ari, Mordecchai, 1948-
Mathematical logic for computer science
Springer, 2012
 eBooks