Boolos, George
Logic, logic, and logic
Harvard University Press, 1998
Buku Teks SO
Richards, Tom
Clausal form logic : an introduction to the logic of computer reasoning
Addison-Wesley Pub. Co., 1989
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
Kahane, Howard
Logic & philosophy : a modern introduction
1999
Multimedia