Hogger, Christopher John
Introduction to logic programming
Academic Press, 1984
 Buku Teks SO
Minto, Barbara
The Minto pyramid principle : logic in writing, thinking and problem solving
Minto International , 1996
 Buku Teks SO
Grogono, Peter
Problem solving and computer programming
Addison-Wesley, 1982
 Buku Teks SO
Robertson, S. Ian
Problem solving
Psychology Press, 2001
 Buku Teks SO
Stoll, Robert R.
Set theory and logic / Robert R. Stoll
Dover , 1961
 Buku Teks SO