Symbolic Logic and Mechanical Theorem Proving by Chin-Liang C... - 9780121703509

Book DetailsTitle:Symbolic Logic and Mechanical Theorem Proving (Computer Science   Item Condition:New Author: Chin-Liang Chang, Richard C. Lee   ISBN 10:0121703509Publisher:Elsevier   ISBN 13:9780121703509Published On:1997-11-19   SKU:5555-ELSPD-9780121703509Binding:Hardcover   Language:englishEdition:-   List Price:- Description\n Thanks for looking at our listing. At Cmedia_group, we try to stick to some simple guidelines in order to ensure all books you buy from us arrive in the condition you expect.\nWhat can you expect depending on book condition?\nUsed-Good: The book will be clean without any major stains or markings, the spine of the book will be in great shape meaning the book still has a lot of life in it, no pages will be missing, the pages may be slightly folded through previous use but not majorly.\nUsed-Very Good: The book will be clean without any major stains or markings, the spine will be in excellent shape with only minor creasing, no .