Order Total (1 Item Items):
Shipping Destination:
Logic Computer Science Foundations by Gallier Jean (14 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (14)
- 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
Binding
Collectible Attributes
- First Edition (1)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (No further results match this refinement)
- Not Print on Demand (14)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
Logic for Computer Science: Foundations of Automatic Theorem Proving
Published by HarperCollins Publishers, 1986
ISBN 10: 0060422254 ISBN 13: 9780060422257
Language: English
Hardcover. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.6.
-
paperback. Condition: UsedVeryGood. Very Good condition.Crisp pages. Clean cover and pages. Book shows minimal shelf wear. No highlighting/marking. Not Satisfied? Contact us to get a refund.
-
Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)
Published by Dover Publications (edition First Edition, First), 2015
ISBN 10: 0486780821 ISBN 13: 9780486780825
Language: English
Paperback. Condition: Very Good. First Edition, First. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported.
-
Logic for Computer Science : Foundations of Automatic Theorem-Proving
Published by Addison-Wesley Educational Publishers, Incorporated, 1985
ISBN 10: 0060422254 ISBN 13: 9780060422257
Language: English
Condition: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.
-
Paperback. 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. 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!
-
Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row Computer Science and Technology Series)
Published by HarperCollins Publishers, 1986
ISBN 10: 0060422254 ISBN 13: 9780060422257
Language: English
Seller: Jay W. Nelson, Bookseller, IOBA, Austin, MN, U.S.A.
Association Member: IOBA
Seller rating 4 out of 5 stars
First Edition
Hardcover. Condition: Very Good. No Jacket. 1st Edition. In blue cloth. Bottom corners bumped. No jacket.
-
Paperback. Condition: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks.
-
Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row computer science and technology series)
Seller: Fireside Bookshop, Stroud, GLOS, United Kingdom
Association Member: PBFA
Seller rating 5 out of 5 stars
US$ 27.89
Convert currencyUS$ 33.84 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCloth. Condition: Good. No Jacket. Type: Book N.B. Small plain label to inside front cover. No dust jacket. Light rubbing to head and tail of spine and corners of boards.
-
Logic for Computer Science: Foundations of Automatic Theorem Proving
Published by John Wiley and Sons (WIE), 1988
ISBN 10: 0471615463 ISBN 13: 9780471615460
Language: English
US$ 17.18
Convert currencyUS$ 51.33 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketCondition: Sehr gut. Zustand: Sehr gut | Seiten: 526 | Sprache: Englisch | Produktart: Bücher.
-
Logic for Computer Science - Foundations of Automatic Theorem Proving
Published by Wiley & Sons 1987, 1987
Seller: Andere Welten Medienvertriebs GmbH, Ahrensburg, SH, Germany
Seller rating 1 out of 5 stars
US$ 29.37
Convert currencyUS$ 17.11 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketSoftcover Sehr gut erhalten.
-
US$ 58.51
Convert currencyUS$ 13.54 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Brand New. 2nd edition. 496 pages. 9.00x6.00x1.50 inches. In Stock.
-
Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row computer science and technology series)
Published by Longman Higher Education, 1986
ISBN 10: 0060422254 ISBN 13: 9780060422257
Language: English
Hardcover. Condition: Fine. Former library asset (with library stamp on inside cover). Cover shows shelf wear. (price reflects) Pages are crisp and clean, binding tight. 100% Satisfaction Guaranteed. Orders received before 3PM PT typically ship same day. All profits support the non-profit community.
-
Hardcover. Condition: New.
