Lu, Z. (1989). Mathematical logic for computer science. Singapore ; Teaneck, N.J.: World Scientific.
Παραπομπή Chicago StyleLu, Zhongwan. Mathematical Logic for Computer Science. Singapore ; Teaneck, N.J.: World Scientific, 1989.
Παραπομπή MLALu, Zhongwan. Mathematical Logic for Computer Science. Singapore ; Teaneck, N.J.: World Scientific, 1989.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.