00790     2200217   4500001002100000005001500021035002000036007000300056008004100059020002200100082000800122084001400130100001800144245002200162250001100184260003600195300002900231650001300260520028300273990001600556INLIS00000000000103620180425085958  a0010-0418000998ta180425                g          0 ind    a978-979-756-598-5  a515  a515 DJO k0 aDjoni Dwijono1 aKalkulus Predikat  aJil. 1  aYogyakarta :bGraha Ilmu,c2010  axii, 108 hlm ;c14x23 cm  akalkulus  apembahasan 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.  a02174/SAL/H