00563 a2200205 4500 132522 OSt 20220111160518.0 9781842655665 510 W18I Wang, Guo-Jun Introduction to mathematical logic and resolution principles by Guo-Jun Wang and Hong-Jun Zhou 2nd ed. Beijing Science Press 2009 335p. Logic, Symbolic and mathematical Zhou, Hong-Jun ddc BK 6885 6885 0 0 ddc 0 0 TXB CURAJ CURAJ 2012-06-08 MTH 0.00 510 W18I 10003 2024-11-21 2020-09-02 BK