<?xml version="1.0"?>

 <rdf:Description xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dc="http://purl.org/dc/elements/1.1/">
  <dc:title>Kalkulus Predikat</dc:title>
  <dc:creator>
   Djoni Dwijono
  </dc:creator>
  <dc:type>text</dc:type>
  <dc:publisher>Yogyakarta : Graha Ilmu,</dc:publisher>
  <dc:date>2010</dc:date>
  <dc:language>ind</dc:language>
  <dc:description>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.</dc:description>
  <dc:subject>kalkulus</dc:subject>
  <dc:identifier>URN:ISBN:978-979-756-598-5</dc:identifier>
</rdf:Description>