# Logic In Computer Science By Hantao Zhang, Jian Zhang | eBook

**URL:** <https://onehack.st/t/logic-in-computer-science-by-hantao-zhang-jian-zhang-ebook/299386>\
**Category:** Tutorials & Methods\
**Tags:** programming, tips-tricks, technology, ai\
**Created:** [January 18, 2025, 8:44pm UTC](https://onehack.st/t/logic-in-computer-science-by-hantao-zhang-jian-zhang-ebook/299386 "2025-01-18T20:44:00Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![Prometheus](https://onehack.st/user_avatar/onehack.st/prometheus/32/34950_2.png) [@Prometheus](https://onehack.st/u/Prometheus)\
**Post date:** [January 18, 2025, 8:44pm UTC](https://onehack.st/t/logic-in-computer-science-by-hantao-zhang-jian-zhang-ebook/299386/1 "2025-01-18T20:44:00Z")

</div>

![image](https://onehack.st/uploads/default/original/3X/5/a/5ab920c5408948e87f739f6b2ef84ade087e88a8.jpeg)

English | January 11, 2025 | ISBN: 9819798159 | 488 pages | True PDF, EPUB | 32 Mb​

Logic In Computer Science (Hantao Zhang, Jian Zhang) (2025) English  
Catergory: Computer Technology, Nonfiction

> 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.

**2 format In 1:**  
Pushpin 📌 9819798159.epub (Hantao Zhang, Jian Zhang) (2025) (30.5 MB)  
Pushpin 📌 9819798159.pdf (Michael Huth) (2004) (6.59 MB)

[Download Here](https://drive.google.com/file/d/1A55KK-mLdeO3QxTIdDsysFwAuMiWShcy/view?usp=drive_link)

**Happy learning!**