Title
Mathematical Logic for Computer Science,New
Delivery time: 8-12 business days (International)
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.
By changing our most important processes and
products, we have already made a big leap forward. This ranges from the
increased use of more sustainable fibers to the use of more
environmentally friendly printing processes to the development of
efficient waste management in our value chain.
⚠️ 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.
Shipping & Returns
Shipping
We ship your order within 2–3 business days for USA deliveries and 5–8 business days for international shipments. Once your package has been dispatched from our warehouse, you'll receive an email confirmation with a tracking number, allowing you to track the status of your delivery.
Returns
To facilitate a smooth return process, a Return Authorization (RA) Number is required for all returns. Returns without a valid RA number will be declined and may incur additional fees. You can request an RA number within 15 days of the original delivery date. For more details, please refer to our Return & Refund Policy page.
Shipping & Returns
Shipping
We ship your order within 2–3 business days for USA deliveries and 5–8 business days for international shipments. Once your package has been dispatched from our warehouse, you'll receive an email confirmation with a tracking number, allowing you to track the status of your delivery.
Returns
To facilitate a smooth return process, a Return Authorization (RA) Number is required for all returns. Returns without a valid RA number will be declined and may incur additional fees. You can request an RA number within 15 days of the original delivery date. For more details, please refer to our Return & Refund Policy page.
Warranty
We provide a 2-year limited warranty, from the date of purchase for all our products.
If you believe you have received a defective product, or are experiencing any problems with your product, please contact us.
This warranty strictly does not cover damages that arose from negligence, misuse, wear and tear, or not in accordance with product instructions (dropping the product, etc.).
Warranty
We provide a 2-year limited warranty, from the date of purchase for all our products.
If you believe you have received a defective product, or are experiencing any problems with your product, please contact us.
This warranty strictly does not cover damages that arose from negligence, misuse, wear and tear, or not in accordance with product instructions (dropping the product, etc.).
Secure Payment
Your payment information is processed securely. We do not store credit card details nor have access to your credit card information.
We accept payments with :
Visa, MasterCard, American Express, Paypal, Shopify Payments, Shop Pay and more.
Secure Payment
Your payment information is processed securely. We do not store credit card details nor have access to your credit card information.
We accept payments with :
Visa, MasterCard, American Express, Paypal, Shopify Payments, Shop Pay and more.
Related Products
You may also like
Frequently Asked Questions
- 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.