Ben-Ari, Mordecchai, 1948-
Mathematical logic for computer science
Springer, 2012
 eBooks
Bittle, Celestine N.
The science of correct thinking : logic
The Bruce Publishing, 1950
 Buku Teks SO
Boolos, George
Logic, logic, and logic
Harvard University Press, 1998
 Buku Teks SO
Copi, Irving M.
Introduction to logic
Macmillan, 1961
 Buku Teks SO
Copi, Irving M.
Informal logic
Prentice-Hall, 1995
 Buku Teks SO