Introduction to mathematical logic and resolution principle /

Bibliographic Details
Main Author:	Wang, Guo-Jun
Other Authors:	Zhou, Hong-Jun
Format:	Book
Language:	English
Published:	Oxford, U.K. : Beijing : Alpha Science ; Science Press, [2009]
Edition:	2nd ed.
Subjects:	Logic, Symbolic and mathematical > Textbooks.

Remote Storage