Carnap, Rudolf
Introduction to symbolic logic and its
Dover Publications, 1958
 Buku Teks
Sulistomo Adie Suwarno
Terjemahan model paradigm untuk Anjungan Tunai Mandiri menjadi pseudocode dalam proportional linear temporal logic.
Universitas Indonesia, 2005
 UI - Skripsi (Membership)
Dalen, Dirk van
Logic and structure
Springer-Verlag, 1994
 Buku Teks
Copi, Irving M.
Symbolic logic
Prentice-Hall, 1979
 Buku Teks
Standley, Gerald B.
New methods in symbolic logic
Houghton Mifflin, 1971
 Buku Teks