Nguyen, Huu Bong Logik dan penggunaannya untuk sains komputer / Nguyen Huu Bong - Pulau Pinang : Penerbit USM, 1987 - [vi], 426 p. : ill. ; 24 cm. Includes bibliographical references and index ISBN: 9679911608 Subjects--Topical Terms: Logic, Symbolic and mathematical