Introduction to mathematical logic and resolution principles
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.
9781842655665
510 / W18I
Introduction to mathematical logic and resolution principles by Guo-Jun Wang and Hong-Jun Zhou - 2nd ed. - Beijing Science Press 2009 - 335p.
9781842655665
510 / W18I
