CURAJ Library

Welcome to CURAJ Library!

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