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
Visitors