Logika Matematika Untuk Ilmu Komputer Soesianto Djoni Dwijono text Yogyakarta : Andi, 2006 ind Pengenalan logika matematka, Pengantar logika proporsional, Tabel kebenaran, Proporsi majemuk, Tautologi, Ekuivalen logis, Penyerdehanaan Logika Matematika URN:ISBN:979-763-568-6