Logika Proposisional - SOESIANTO, F. (Andi, 2003)