Zhongwan, Lu Mathematical Logic for Computer Science - Singapore World Scientific 1989 - ix, 248 p. ; 22 cm Subjects--Topical Terms: Mathematics Dewey Class. No.: 511.3 / LU