Kalkulus Proposisional - Djoni Dwijono (Graha Ilmu, 2010)