Title
Mathematical Logic for Computer Science,New
Sold by Ergodebooks, an authorized reseller.
Returns accepted within 30 days | support@ergodebooks.com
Shipping Information
- Free Standard Shipping — United States only
- Processing Time: 1–3 business days
- Estimated Delivery: 3–5 business days after dispatch
- Double-boxed, fully insured & discreetly packaged
- Tracking number sent via email once dispatched
- Orders over $250 require signature upon delivery. Taxes calculated at checkout.
Returns & Refund
Returns accepted within 30 days of delivery.
Damaged or Defective Item
Free return shipping + replacement or full refund
Wrong Item Received
Free return shipping + replacement or full refund
Change of Mind
Return shipping at customer's expense · 25% restocking fee applies
Payment Option
This is a mathematics textbook with theorems and proofs. The choice of topics has been guided by the needs of computer science students. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and yet sufficiently elementary for undergraduates. In order to provide a balanced treatment of logic, tableaux are related to deductive proof systems. The book presents various logical systems and contains exercises. Still further, Prolog source code is available on an accompanying Web site. The author is an Associate Professor at the Department of Science Teaching, Weizmann Institute of Science.
⚠️ WARNING (California Proposition 65):
This product may contain chemicals known to the State of California to cause cancer, birth defects, or other reproductive harm.
For more information, please visit www.P65Warnings.ca.gov.
- Q: What topics are covered in 'Mathematical Logic for Computer Science'? A: The book covers various topics in mathematical logic tailored for computer science students, including theorems, proofs, and different logical systems, with a focus on the method of semantic tableaux.
- Q: Is this book suitable for beginners in logic? A: Yes, the method of semantic tableaux used in the book is designed to be both theoretically sound and accessible for undergraduates, making it suitable for beginners.
- Q: How many pages does the book have? A: The book has a total of 318 pages.
- Q: What is the condition of the book? A: The book is listed as 'New' and is a used book in good condition.
- Q: Does this book include exercises or practice problems? A: Yes, the book contains exercises to help reinforce the concepts covered.
- Q: Who is the author of 'Mathematical Logic for Computer Science'? A: The author is Mordechai Ben-Ari, who is an Associate Professor at the Department of Science Teaching, Weizmann Institute of Science.
- Q: Is there any accompanying material available online? A: Yes, Prolog source code is available on an accompanying website to support the content of the book.
- Q: What edition is this book? A: This is a softcover reprint of the original 2nd edition, published in 2001.
- Q: When was this book published? A: The book was published on November 22, 2011.
- Q: What type of binding does this book have? A: The book is published in paperback binding.