Carnap, Rudolf
Introduction to symbolic logic and its
Dover Publications, 1958
 Buku Teks
Copi, Irving M.
Symbolic logic
Prentice-Hall, 1979
 Buku Teks SO
Dalen, Dirk van
Logic and structure
Springer-Verlag, 1994
 Buku Teks SO
Sulistomo Adie Suwarno
Terjemahan model paradigm untuk Anjungan Tunai Mandiri menjadi pseudocode dalam proportional linear temporal logic.
Universitas Indonesia, 2005
 UI - Skripsi Membership
Gemignani, Michael C.
Basic concepts of mathematics logic
Addison-Wesley, 1968
 Buku Teks SO