Kalkulus predikat - Djoni Dwijono, 1955- (Graha Ilmu, 2010)