Order Total (1 Item Items):
Shipping Destination:
Mathematical Logic Computer Science by Ben Ari Mordechai (34 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (34)
- 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 (21)
- As New, Fine or Near Fine (3)
- Very Good or Good (9)
- Fair or Poor (No further results match this refinement)
- As Described (1)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (34)
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 (13)
- Not Print on Demand (30)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Paperback. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
-
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!
-
Paperback. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
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).
-
Condition: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
-
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).
-
Condition: 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.
-
Paperback. Condition: new. New Copy. Customer Service Guaranteed.
-
Condition: 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: As New. Unread book in perfect condition.
-
Condition: New.
-
Mathematical Logic for Computer Science (Paperback)
Language: English
Published by Springer London Ltd, England, 2012
ISBN 10: 1447141288 ISBN 13: 9781447141280
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
Language: English
Published by Springer London Ltd, GB, 2012
ISBN 10: 1447141288 ISBN 13: 9781447141280
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. 3rd ed. 2012.
-
Mathematical Logic for Computer Science
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Mathematical Logic for Computer Science
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 60.59
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
PF. Condition: New.
-
Mathematical Logic for Computer Science
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Mathematical Logic for Computer Science
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Paperback / softback. Condition: New. New copy - Usually dispatched within 4 working days.
-
Condition: New. pp. 364 3rd Edition.
-
paperback. Condition: Gut. 320 Seiten; 9781852333195.3 Gewicht in Gramm: 1.
-
Paperback. Condition: Brand New. 3rd edition. 346 pages. 9.00x6.00x0.75 inches. In Stock.
-
Condition: New.
-
Condition: Usado.
-
Mathematical Logic for Computer Science
Language: English
Published by SPRINGER VERLAG GmbH, 2011
ISBN 10: 1852333197 ISBN 13: 9781852333195
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
-
Mathematical Logic for Computer Science
Language: English
Published by Springer London Jun 2012, 2012
ISBN 10: 1447141288 ISBN 13: 9781447141280
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 364 pp. Englisch.
-
Taschenbuch. Condition: Neu. Mathematical Logic for Computer Science | Mordechai Ben-Ari | Taschenbuch | xv | Englisch | 2012 | Springer | EAN 9781447141280 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Mathematical Logic for Computer Science
Language: English
Published by Springer London, Springer, 2012
ISBN 10: 1447141288 ISBN 13: 9781447141280
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
-
Mathematical Logic for Computer Science (Paperback)
Language: English
Published by Springer London Ltd, England, 2012
ISBN 10: 1447141288 ISBN 13: 9781447141280
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 our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
-
Paperback. Condition: Like New. Like New. book.
-
Mathematical Logic for Computer Science
Language: English
Published by Springer London Ltd, GB, 2012
ISBN 10: 1447141288 ISBN 13: 9781447141280
Paperback. Condition: New. 3rd ed. 2012.
