Carnap, Rudolf
Introduction to symbolic logic and its
Dover Publications, 1958
 Buku Teks
Ummu Maemunah
Penggunaan algoritma computational tree logic model checking untuk pemeriksaan rancangan sistem microwave oven
Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2006
 UI - Skripsi Membership
Dalen, Dirk van
Logic and structure
Springer-Verlag, 1994
 Buku Teks
Copi, Irving M.
Symbolic logic
Prentice-Hall, 1979
 Buku Teks
Langer, Susanne K.
An introduction to symbolic logic
Dover, 1967
 Buku Teks