Rancang bangun logic analyzer dengan menggunakan PC untuk menampilkan timing diagram (diagram pewaktuan)
Fakultas Teknik Universitas Indonesia, 1999
 UI - Skripsi (Membership)
Mundiri
Logika
RajaGrafindo Persada, 2012
 Buku Teks
Vloemans, Antoon
Logika
Erlangga , 1999
 Buku Teks
Mundiri
Logika/Mundiri
Jakarta RajaGrafindo Persada 2000,
 Buku Teks
Siti Aminah
Logika proposisi dan logika predikat
Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 1988
 UI - Skripsi Membership