Copi, Irving M.
Introduction to logic
Macmillan, 1972
 Buku Teks
Tidman, Paul
Logic and philosophy : a modern introduction
Wadsworth, 1999
 Buku Teks
Marcovitz, Alan B.
Introduction to logic design
McGraw-Hill, 2002
 Buku Teks
Yanushkevich, Svetlana N.
Introduction to logic design
CRC Press, Taylor & Francis Group, 2008
 Buku Teks
Hogger, Christopher John
Introduction to logic programming
Academic Press, 1984
 Buku Teks