Siregar, Sarli Masnar
Penganalisis logika 32 kanal dengan menggunakan komputer pribadi
Fakultas Teknik Universitas Indonesia, 1994
 UI - Skripsi Membership
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
Kahane, Howard
Logic & philosophy : a modern introduction
1999
 Multimedia