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.

Description
Physical Description:	viii, 335 pages : illustrations ; 25 cm.
Bibliography:	Includes bibliographical references and index.
ISBN:	7030228995 9787030228994 1842655663 9781842655665