Boolos, George
Logic, logic, and logic
Harvard University Press, 1998
 Buku Teks
Richards, Tom
Clausal form logic : an introduction to the logic of computer reasoning
Addison-Wesley Pub. Co., 1989
 Buku Teks
Copi, Irving M.
Introduction to logic
Macmillan, 1961
 Buku Teks
Copi, Irving M.
Informal logic
Prentice-Hall, 1995
 Buku Teks
Bittle, Celestine N.
The science of correct thinking : logic
The Bruce Publishing, 1950
 Buku Teks