Zhongwan, Lu .
Mathematical logic for computer science / by Lu Zhongwan. - Singapore : World Scientific Publishing Co. Pte. Ltd. , 1989 - 248p :
9971-50-251-8
Logic, Symbolic and mathematical
BV(B) / M9
Mathematical logic for computer science / by Lu Zhongwan. - Singapore : World Scientific Publishing Co. Pte. Ltd. , 1989 - 248p :
9971-50-251-8
Logic, Symbolic and mathematical
BV(B) / M9