Logik dan penggunaannya untuk sains komputer - Nguyen, Huu Bong (Penerbit Unversiti Sains Malaysia, 1987)