Lu, Z. (1989). Mathematical logic for computer science. Singapore ; Teaneck, N.J.: World Scientific.
Trích dẫn kiểu ChicagoLu, Zhongwan. Mathematical Logic for Computer Science. Singapore ; Teaneck, N.J.: World Scientific, 1989.
Trích dẫn MLALu, Zhongwan. Mathematical Logic for Computer Science. Singapore ; Teaneck, N.J.: World Scientific, 1989.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.