Manna, Zohar
The logical basis for computer programming; Vol. I: deductive reasoning
Addison-Wesley, 1985
 Buku Teks SO
Ben-Ari, Mordecchai, 1948-
Mathematical logic for computer science
Springer-Verlag, 2012
 Buku Teks SO
Ben-Ari, Mordecchai, 1948-
Mathematical logic for computer science
Springer, 2012
 eBooks
Logic from computer science: proceedings of a workshop held November 13-176, 1989
edited by Y.N. Moschovakis
Springer, 1992
 Buku Teks SO
Richards, Tom
Clausal form logic : an introduction to the logic of computer reasoning
Addison-Wesley, 1989
 Buku Teks SO