Boolos, George
Logic, logic, and logic
Harvard University Press, 1998
 Buku Teks
Logic-to-logic comparator
Fakultas Teknik Universitas Indonesia, 1991
 UI - Laporan Penelitian
Ching, Lai Sheng
Threshold logic
Ryerson Press, 1969
 Buku Teks
Lalement, Rene
Computation as logic
Prentice-Hall, 1993
 Buku Teks
Copi, Irving M.
Symbolic logic
Prentice-Hall, 1979
 Buku Teks