Kalkulus proposisional - Joni Dwiyono (Graha Ilmu, 2010)
yzd,3/ws.c.1-3