logo

EbookBell.com

Most ebook files are in PDF format, so you can easily read them using various software such as Foxit Reader or directly on the Google Chrome browser.
Some ebook files are released by publishers in other formats such as .awz, .mobi, .epub, .fb2, etc. You may need to install specific software to read these formats on mobile/PC, such as Calibre.

Please read the tutorial at this link:  https://ebookbell.com/faq 


We offer FREE conversion to the popular formats you request; however, this may take some time. Therefore, right after payment, please email us, and we will try to provide the service as quickly as possible.


For some exceptional file formats or broken links (if any), please refrain from opening any disputes. Instead, email us first, and we will try to assist within a maximum of 6 hours.

EbookBell Team

Logic In Computer Science 2024th Edition Hantao Zhang Jian Zhang

  • SKU: BELL-230186476
Logic In Computer Science 2024th Edition Hantao Zhang Jian Zhang
$ 31.00 $ 45.00 (-31%)

5.0

48 reviews

Logic In Computer Science 2024th Edition Hantao Zhang Jian Zhang instant download after payment.

Publisher: Springer
File Extension: PDF
File size: 6.59 MB
Pages: 448
Author: Hantao Zhang, Jian Zhang
ISBN: 9789819798155, 9789819798162, 9819798159, 9819798167
Language: English
Year: 2025
Edition: 2024

Product desciption

Logic In Computer Science 2024th Edition Hantao Zhang Jian Zhang by Hantao Zhang, Jian Zhang 9789819798155, 9789819798162, 9819798159, 9819798167 instant download after payment.

Mathematical logic is an important basis for mathematics, computer science and artificial intelligence alike. This book provides a comprehensive introduction to various logics, including classical propositional logic and first-order predicate logic, as well as equational logic, temporal logic, and Hoare logic. In addition, it presents proof procedures for classical logics and decision procedures for checking the satisfiability of logical formulas.

Related Products