na INLIS000000000001036 20180425085958 0010-0418000998 ta 180425 g 0 ind 978-979-756-598-5 515 515 DJO k Djoni Dwijono Kalkulus Predikat Jil. 1 Yogyakarta : Graha Ilmu, 2010 xii, 108 hlm ; 14x23 cm kalkulus 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. 02174/SAL/H