00480     2200193   4500001002100000005001500021008004100036020001800077035002500095041000800120082001000128090001000138100002000148245003200168250001600200260003100216300002400247650001500271INLIS00000000000932520130515212345                                   ind    a979-3338-35-0  a0010-051300000009325  aind  a511.3  a511.3  aSetiadi, Racmat  aPengantar logika matematika  aCetakan : 1  aBandungbInformatikac2004  av, 162 hlm. ;24 cm.  aMatematika