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