Kurtz, David C.
Foundations of abstract mathematics
McGraw-Hill, 1992
 Buku Teks SO
Gerstein, Larry J., authir
Introduction to mathematical structures and proofs
[Springer, ], 2012
 eBooks
Carnap, Rudolf
Introduction to symbolic logic and its
Dover Publications, 1958
 Buku Teks
Gemignani, Michael C.
Basic concepts of mathematics logic
Addison-Wesley, 1968
 Buku Teks SO
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