Order Total (1 Item Items):
Shipping Destination:
Mathematical Logic Computer Science by Ben Ari Mordechai (45 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (45)
- 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 (30)
- As New, Fine or Near Fine (4)
- Very Good or Good (10)
- Fair or Poor (No further results match this refinement)
- As Described (1)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (45)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (14)
- Not Print on Demand (40)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Mathematical Logic for Computer Science
Seller: Goodwill of Silicon Valley, SAN JOSE, CA, U.S.A.
Seller rating 4 out of 5 stars
Condition: good. Supports Goodwill of Silicon Valley job training programs. The cover and pages are in Good condition! Any other included accessories are also in Good condition showing use. Use can include some highlighting and writing, page and cover creases as well as other types visible wear.
-
Paperback. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.05.
-
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!
-
Mathematical Logic for Computer Science Third Edition
Published by Springer, London, UK, 2012
ISBN 10: 1447141288 ISBN 13: 9781447141280
Language: English
Seller: Robert Fulgham, Bookseller, Idaho Falls, ID, U.S.A.
Seller rating 5 out of 5 stars
Soft cover. Condition: Fine. 3rd Edition. Fine softcover. Unread. Clean, bright and tight. No writing or other marks. We wrap and box our books for shipping.
-
paperback. Condition: Good. 3rd ed. 2012. 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).
-
US$ 26.57
Convert currencyUS$ 28.29 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketCondition: Gut. 320 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 469 24,1 x 17,8 x 1,9 cm, Taschenbuch.
-
US$ 58.98
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
paperback. Condition: New. 3rd ed. 2012. Ships in a BOX from Central Missouri! UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes).
-
US$ 47.48
Convert currencyUS$ 17.54 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,650grams, ISBN:9781447141280.
-
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.
-
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Mathematical Logic for Computer Science
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 53.72
Convert currencyUS$ 20.33 shipping from United Kingdom to U.S.A.Quantity: 4 available
Add to basketCondition: 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.
-
US$ 69.73
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
US$ 69.88
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Condition: New. SUPER FAST SHIPPING.
-
Mathematical Logic for Computer Science
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
US$ 71.62
Convert currencyUS$ 6.80 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
-
US$ 78.35
Convert currencyFree shipping from Australia to U.S.A.Quantity: 1 available
Add to basketBrand new book. Fast ship. Please provide full street address as we are not able to ship toPOboxaddress.
-
Condition: New.
-
Paperback. Condition: New.
-
Mathematical Logic for Computer Science (Paperback)
Published by Springer London Ltd, England, 2012
ISBN 10: 1447141288 ISBN 13: 9781447141280
Language: English
Paperback. Condition: new. Paperback. Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. The uniform use of tableaux-based techniques facilitates learning advanced logical systems based on what the student has learned from elementary systems.The logical systems presented are: propositional logic, first-order logic, resolution and its application to logic programming, Hoare logic for the verification of sequential programs, and linear temporal logicfor the verification of concurrent programs.The third edition has been entirely rewritten and includes new chapters on central topics of modern computer science: SAT solvers and model checking. This book approaches mathematics based on the needs of computer science students, teaching logic by means of the method of semantic tableaux. The third edition is entirely rewritten, and includes new chapters on SAT solvers and model checking. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Mathematical Logic for Computer Science
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 70.45
Convert currencyUS$ 20.33 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Condition: new.
-
Mathematical Logic for Computer Science
Published by Springer London Ltd, United Kingdom, England, 2012
ISBN 10: 1447141288 ISBN 13: 9781447141280
Language: English
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Seller rating 5 out of 5 stars
US$ 91.98
Convert currencyUS$ 7.59 shipping from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Very Good. Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. The uniform use of tableaux-based techniques facilitates learning advanced logical systems based on what the student has learned from elementary systems. The logical systems presented are: propositional logic, first-order logic, resolution and its application to logic programming, Hoare logic for the verification of sequential programs, and linear temporal logic for the verification of concurrent programs. The third edition has been entirely rewritten and includes new chapters on central topics of modern computer science: SAT solvers and model checking. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
-
Mathematical Logic for Computer Science
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 82.55
Convert currencyUS$ 16.24 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Mathematical Logic for Computer Science
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 80.14
Convert currencyUS$ 20.33 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
US$ 81.34
Convert currencyUS$ 21.00 shipping from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPF. Condition: New.
-
Mathematical Logic for Computer Science
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
US$ 87.19
Convert currencyUS$ 17.03 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback / softback. Condition: New. New copy - Usually dispatched within 4 working days. 581.
-
Mathematical Logic for Computer Science
Published by Springer London Ltd, GB, 2012
ISBN 10: 1447141288 ISBN 13: 9781447141280
Language: English
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
US$ 104.92
Convert currencyFree shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPaperback. Condition: New. 3rd ed. 2012. Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. The uniform use of tableaux-based techniques facilitates learning advanced logical systems based on what the student has learned from elementary systems.The logical systems presented are: propositional logic, first-order logic, resolution and its application to logic programming, Hoare logic for the verification of sequential programs, and linear temporal logicfor the verification of concurrent programs.The third edition has been entirely rewritten and includes new chapters on central topics of modern computer science: SAT solvers and model checking.
-
Condition: New. pp. 364 3rd Edition.
-
Paperback. Condition: new. New Copy. Customer Service Guaranteed.
