Order Total (1 Item Items):
Shipping Destination:
Symbolic Logic Mechanical Theorem by Chang Chin Liang (36 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (36)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
Binding
Collectible Attributes
- First Edition (5)
- Signed (No further results match this refinement)
- Dust Jacket (3)
- Seller-Supplied Images (8)
- Not Print on Demand (31)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
Symbolic Logic and Mechanical Theorem Proving
Published by Elsevier Science & Technology, 1973
ISBN 10: 0121703509 ISBN 13: 9780121703509
Language: English
Condition: Very Good. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects.
-
Symbolic Logic and Mechanical Theorem Proving
Published by Elsevier Science & Technology, 1973
ISBN 10: 0121703509 ISBN 13: 9780121703509
Language: English
Condition: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.
-
Symbolic Logic and Mechanical Theorem Proving (Computer Science Classics)
Seller: World of Books (was SecondSale), Montgomery, IL, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc.
-
Hardcover. Condition: Acceptable. Connecting readers with great books since 1972. Used textbooks may not include companion materials such as access codes, etc. May have condition issues including wear and notes/highlighting. We ship orders daily and Customer Service is our top priority!
-
Hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
hardcover. Condition: Good. 1st Edition. Ships in a BOX from Central Missouri! May not include working access code. Will not include dust jacket. Has used sticker(s) and some writing and/or highlighting. UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes).
-
hardcover. Condition: Good. Hand inspected by live bookworms! Cover shows a little wear, but the book is in good condition. May have some writing or highlighting. Ships fast! Same or next business day! Thanks for supporting a small family business! Satisfaction guaranteed!
-
Hardcover. Condition: Fine. 1st Edition. With a name clipped from the front flyleaf, otherwise a fine, as new, hardcover first edition copy, no DJ, black spine.
-
Symbolic Logic and Mechanical Theorem Proving
Published by Academic Press, New York and London, 1973
ISBN 10: 0121703509 ISBN 13: 9780121703509
Language: English
First Edition
Hardcover. Condition: Good. Dust Jacket Condition: No Dust Jacket. First Edition. An ex-library copy in black hard covers lettered in gold, with the usual ex-libris markings. The binding is sound, the text is clean/unmarked, and there is little cover wear. No dust jacket. Book.
-
Symbolic Logic and Mechanical Theorem Proving
Seller: True Oak Books, Highland, NY, U.S.A.
Association Member: IOBA
Seller rating 5 out of 5 stars
Hardcover. Condition: Good. Computer Science And Applied Mathematics; Book is in good overall condition. No writing or major blemishes. Average wear. Brief dedication on first page. Light smudging on dust cover. Foxing to fore-edge of pages.; - We're committed to your satisfaction. We offer free returns and respond promptly to all inquiries. Your item will be carefully wrapped in bubble wrap and securely boxed. All orders ship on the same or next business day. Buy with confidence.
-
Condition: Poor. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In poor condition, suitable as a reading copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,750grams, ISBN:0121703509.
-
Symbolic Logic and Mechanical Theorem Proving
First Edition
hardcover. Condition: Good. 1st Edition. Ships in a BOX from Central Missouri! May not include working access code. Will not include dust jacket. Has used sticker(s) and some writing or highlighting. UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes).
-
Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,750grams, ISBN:0121703509.
-
Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,750grams, ISBN:0121703509.
-
Hardcover. Condition: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks.
-
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)
Published by Academic Press, New York San Francisco London, 1973
ISBN 10: 0121703509 ISBN 13: 9780121703509
Language: English
First Edition
Hardcover. Condition: Near Fine. Dust Jacket Condition: Good. 1st Edition. 331pp.,xiii. No edition cited; no number line: First Printing. Appendix A, "A Computer Program Using Unit Binary Resolution", pp. 287-305; Appendix B, "Proof of Lemma 8.2", pp. 306-308; Bibliography, in Parts I, II, III, pp. 309-324; Index, pp. 325-331. Dark blue fine linen with brilliant gilt-stamped lettering on spine and front cover; lower cover corners slightly bumped, upper corners sharp; 16 pp. of 331pp. have minor amount of green ink underlining ( pp. 2-8, 10, 27-31, 34-35, 72); 5 pages have light pencil lines and annotations, which may be of interest to next book owner, else can easily be erased). Strong binding. Glossy medium blue dustwrapper with silver lettering on upper half front cover, above derivation tree diagram; dw worn, chipped, missing bits at extremities: NOW in mylar which forgives these sins graciously. No previous owner names.
-
fester Einband. 16 x 23,5 cm. 331 S. Leinen mit O-Schutzumschlag, dieser etwas berieben, Ecken leicht bestoßen, kl. Namenszug a.d. flieg. Vorsatz, ansonsten gutes bis sehr gutes Exemplar.
-
Condition: As New. Unread book in perfect condition.
-
Condition: New.
-
Symbolic Logic and Mechanical Theorem Proving (Computer Science & Applied Mathematics)
Published by Academic Press 1973-06-15, 1973
ISBN 10: 0121703509 ISBN 13: 9780121703509
Language: English
Hardcover. Condition: New.
-
Condition: New. pp. 352 Illus.
-
Condition: New. pp. 352.
-
hardcover. Condition: New. In shrink wrap. Looks like an interesting title!
-
Condition: New. pp. 352.
-
Symbolic Logic and Mechanical Theorem Proving
Published by Elsevier Science Publishing Co Inc, 1973
ISBN 10: 0121703509 ISBN 13: 9780121703509
Language: English
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: New. New copy - Usually dispatched within 4 working days. 717.
-
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In.
-
Symbolic Logic and Mechanical Theorem Proving
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Paperback. Condition: Brand New. 1st edition. 331 pages. 9.25x6.25x0.79 inches. In Stock.
-
Symbolic Logic and Mechanical Theorem Proving
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Symbolic Logic and Mechanical Theorem Proving
Seller: Antiquariat Der Papiersammler, Wetter, Germany
Seller rating 4 out of 5 stars
Computer Science, ., 1973, , 331, Hardcover (gebunden), 8°, mit Schutzumschlag, Englisch, Schutzumschlag: etwas bestoßen, etwas fleckig, Seiten: leicht gebräunt,
