Pengantar Logik dan Pengabstrakan untuk Sains Komputer - Rosni Abdullah; Tang, Enya Kong (Petaling Jaya, Selangor, Malaysia : Prentice Hall/Pearson Education Malaysia Sdn. Bhd., 2000)
Includes exercises
Keywords: Computer logic; Logic programming; Logic, Symbolic and mathematical