Logika proposional; seri logika matematika - <SOESIANTO, F Djoni Dwijono> (ANDI)