00523nam a2200169 a 4500001001400000003000700014005001700021008004100038020001500079040000800094100002100102245006800123260004000191300003500231504005000266650003700316vtls000019499KUKTEM20251117144323.0070417                       000 0 eng d  a9679911608  aUMP3 aNguyen, Huu Bong10aLogik dan penggunaannya untuk sains komputer /cNguyen Huu Bong  aPulau Pinang :bPenerbit USM,c1987  a[vi], 426 p. :bill. ;c24 cm.  aIncludes bibliographical references and index 0aLogic, Symbolic and mathematical