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 dan Budaya Universitas Indonesia, 2011
 UI - Tesis (Open)
Carnap, Rudolf
Introduction to symbolic logic and its
Dover Publications, 1958
 Buku Teks
Standley, Gerald B.
New methods in symbolic logic
Houghton Mifflin, 1971
 Buku Teks
Gemignani, Michael C.
Basic concepts of mathematics logic
Addison-Wesley, 1968
 Buku Teks