Order Total (1 Item Items):
Shipping Destination:
Symbolic Logic Mechanical Theorem Proving by Chang Chin Liang Lee Richard Char Tung (21 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (21)
- 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
- New (7)
- As New, Fine or Near Fine (4)
- Very Good or Good (7)
- Fair or Poor (No further results match this refinement)
- As Described (3)
Binding
Collectible Attributes
- First Edition (3)
- Signed (No further results match this refinement)
- Dust Jacket (3)
- Seller-Supplied Images (7)
- Not Print on Demand (21)
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.
-
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: 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: good. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers.
-
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
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: good. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers.
-
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
US$ 62.55
US$ 20.34 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketHardcover. Condition: New.
-
Hardcover. Condition: Brand New. 331 pages. 9.50x6.50x0.75 inches. In Stock.
-
hardcover. Condition: New. In shrink wrap. Looks like an interesting title!
-
Symbolic Logic and Mechanical Theorem Proving
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 81.53
US$ 19.70 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
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
US$ 86.23
US$ 15.73 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Symbolic Logic and Mechanical Theorem Proving
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 97.38
US$ 19.70 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Paperback. Condition: Brand New. 1st edition. 331 pages. 9.25x6.25x0.79 inches. In Stock.
-
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,
-
Academic Press 1973 cloth, 331 pp. ISBN (0-12-170350-9) (code Sc-87).
