na INLIS000000000009325 20130515212345 ind 979-3338-35-0 0010-051300000009325 ind 511.3 511.3 Setiadi, Racmat Pengantar logika matematika Cetakan : 1 Bandung Informatika 2004 v, 162 hlm. ;24 cm. Matematika