D. Suryadi H.S.
Topologi
STI & K, 1994
 Buku Teks SO
Kartono
Pengantar topologi/ Kartono, F.W. Nurwiyati
Andi, 1995
 Buku Teks SO
Vloemans, Antoon
Logika
Erlangga , 1999
 Buku Teks
Mundiri
Logika
RajaGrafindo Persada, 2012
 Buku Teks
Siti Aminah
Logika proposisi dan logika predikat
Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 1988
 UI - Skripsi Membership