Carnap, Rudolf
Introduction to symbolic logic and its
Dover Publications, 1958
 Buku Teks
Blalock, Hubert M.
Theory construction : from verbal to mathematical formulations
Prentice-Hall, 1969
 Buku Teks SO
Kirkpatrick, Graeme, 1963-
Computer games and the social imaginary
Polity Press, 2013
 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
Kurtz, David C.
Foundations of abstract mathematics
McGraw-Hill, 1992
 Buku Teks