Seri Logika Matematika ; Logika Proposisional - F. Soesianto (Yogyakarta:Andi, 2003)