Kalkulus Predikat Djoni Dwijono text Yogyakarta : Graha Ilmu, 2010 ind pembahasan dalam buku ini dimulai dengan konsep kuantor, yakni kuantor universal dan kuantor eksistensia; serta semesta pemikiran yang melengkapinya, dan dilanjutkan dengan pembuktian validitas melalui ekspresi logika predikat yang dibentuk dari argumen memakai metode derivasi. pembahasan dalam buku ini dimulai dengan konsep kuantor, yakni kuantor universal dan kuantor eksistensia; serta semesta pemikiran yang melengkapinya, dan dilanjutkan dengan pembuktian validitas melalui ekspresi logika predikat yang dibentuk dari argumen memakai metode derivasi. kalkulus URN:ISBN:978-979-756-598-5