Kalkulus Proposisional | Library STMIK IKMI Cirebon