Lu, C. (1989). Mathematical logic for computer science. World Scientific.
Παραπομπή σε μορφή Chicago (17η εκδ.)Lu, Chung-wan. Mathematical Logic for Computer Science. Singapors ; Teaneck, NJ.: World Scientific, 1989.
Παραπομπή σε μορφή MLA (9th εκδ.)Lu, Chung-wan. Mathematical Logic for Computer Science. World Scientific, 1989.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.