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