Order Total (1 Item Items):
Shipping Destination:
Logic Computer Science Foundations by Gallier Jean (12 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (12)
- 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 (3)
- As New, Fine or Near Fine (3)
- Very Good or Good (5)
- Fair or Poor (No further results match this refinement)
- As Described (1)
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 (12)
Language (3)
Free Shipping
Seller Location
Seller Rating
-
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!
-
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.
-
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.82
Convert currencyUS$ 33.76 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 Wiley & Sons 1987, 1987
Seller: Andere Welten Medienvertriebs GmbH, Ahrensburg, SH, Germany
Seller rating 1 out of 5 stars
US$ 30.10
Convert currencyUS$ 17.54 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketSoftcover Sehr gut erhalten.
-
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$ 21.73
Convert currencyUS$ 52.61 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.
-
US$ 50.38
Convert currencyUS$ 33.76 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.
-
Logic for Computer Science: Foundations of Automatic Theorem Proving
Published by Longman Higher Education, 1986
ISBN 10: 0060422254 ISBN 13: 9780060422257
Language: German
US$ 60.09
Convert currencyUS$ 46.75 shipping from Germany to U.S.A.Quantity: 1 available
Add to baskethardcover. Condition: Sehr gut. 528 Seiten; M25-07-O-16-VG Sprache: Deutsch Gewicht in Gramm: 3.
