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. kalkulus URN:ISBN:978-979-756-598-5