Introduction to mathematical logic and resolution principle

Saved in:

Bibliographic Details
Main Author:	Wang, Guo-Jun
Other Authors:	Zhou, Hong-Jun, Yang, Zhang
Format:	Unknown
Published:	Oxford, UK Alpha Science/Science Press 2009
Edition:	2nd ed
Subjects:	Logic, Symbolic and mathematical > Textbooks
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet