Tell your friends about this item:
Mathematical Logic for Computer Science Mordechai Ben-Ari 3rd ed. 2012 edition
Price
A$ 98.49
excl. VAT
Ordered from remote warehouse
Expected delivery Jan 8 - 20, 2026
Christmas presents can be returned until 31 January
Our customers say:
Add to your iMusic wish list
Mathematical Logic for Computer Science
Mordechai Ben-Ari
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.
354 pages, 79 black & white illustrations, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | June 17, 2012 |
| ISBN13 | 9781447141280 |
| Publishers | Springer London Ltd |
| Pages | 346 |
| Dimensions | 153 × 231 × 19 mm · 558 g |
| Language | English |
More by Mordechai Ben-Ari
Show all![Cover for Mordechai Ben-Ari · Mathematische Uberraschungen (Paperback Book) [2025 edition] (2025)](https://imusic.b-cdn.net/images/item/original/402/9783031760402.jpg?mordechai-ben-ari-2025-mathematische-uberraschungen-paperback-book&class=scaled&v=1760723185)
![Cover for Mordechai Ben-Ari · Mathematical Surprises (Paperback Book) [2022 edition] (2022)](https://imusic.b-cdn.net/images/item/original/651/9783031135651.jpg?mordechai-ben-ari-2022-mathematical-surprises-paperback-book&class=scaled&v=1694334251)
![Cover for Mordechai Ben-Ari · Elements of Robotics (Paperback Book) [2018 edition] (2017)](https://imusic.b-cdn.net/images/item/original/324/9783319625324.jpg?mordechai-ben-ari-2017-elements-of-robotics-paperback-book&class=scaled&v=1509633713)
![Cover for Mordechai Ben-Ari · Ada for Software Engineers (Paperback Book) [2nd ed. 2009 edition] (2009)](https://imusic.b-cdn.net/images/item/original/136/9781848823136.jpg?mordechai-ben-ari-2009-ada-for-software-engineers-paperback-book&class=scaled&v=1409516136)
![Cover for Mordechai Ben-Ari · Principles of the Spin Model Checker (Paperback Book) [2008 edition] (2008)](https://imusic.b-cdn.net/images/item/original/695/9781846287695.jpg?mordechai-ben-ari-2008-principles-of-the-spin-model-checker-paperback-book&class=scaled&v=1408435183)
See all of Mordechai Ben-Ari ( e.g. Paperback Book and Hardcover Book )