R. G. Soekadijo
Logika dasar : tradisional, simbolik dan induktif
Gramedia Pustaka Utama, 1991
 Buku Teks
Siti Aminah
Logika proposisi dan logika predikat
Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 1988
 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