TY - BOOK AU - Nguyen, Huu Bong TI - Logik dan penggunaannya untuk sains komputer SN - 9679911608 PY - 1987/// CY - Pulau Pinang PB - Penerbit USM KW - Logic, Symbolic and mathematical N1 - Includes bibliographical references and index ER -