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
Marlando Wawolumaya
Manifestasi logika pada bahasa dalam pemikiran Gottlob Frege: sebuah telaah kritis = the manifestation of logic on language in the thought of Gottlob Frege : a critical study
Fakultas Ilmu Pengetahuan Budaya Universitas Indonesia, 2011
 UI - Tesis Open
Carnap, Rudolf
Introduction to symbolic logic and its
Dover, 1958
 Buku Teks
Kurtz, David C.
Foundations of abstract mathematics
McGraw-Hill, 1992
 Buku Teks SO
Copi, Irving M.
Symbolic logic
Prentice-Hall, 1979
 Buku Teks SO