00939nam a2200325 4500 DLU060056206 ##20050329153214.0 ##890406s1989 si a b 001 0 eng 89033165 9971502518 (DLC) 89033165 DLC DLC DLC 004.015 1 LU-C Lu, Zhongwan. Mathematical logic for computer science / Lu Zhongwan. Singapore ; Teaneck, N.J. : World Scientific, c1989. ix, 248 p. : ill. ; 23 cm. Includes bibliographical references (p. 229-230) and index. Computer science Mathematics. Logic, Symbolic and mathematical. 26/2006 7800 DLU True Thái Thị Thanh Thủy G A SH Thư viện Trường Đại học Đà Lạt