Logic in Computer Science - Hantao Zhang - Books - Springer Verlag, Singapore - 9789819798155 - January 12, 2025
In case cover and title do not match, the title is correct

Logic in Computer Science 2024 edition

Hantao Zhang

Login to be notified when the product is available again

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Logic in Computer Science 2024 edition

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.

400 pages, Approx. 400 p.

Media Books     Paperback Book   (Book with soft cover and glued back)
Released January 12, 2025
ISBN13 9789819798155
Publishers Springer Verlag, Singapore
Pages 483
Dimensions 730 g
Show all

More by Hantao Zhang

See all of Hantao Zhang ( e.g. Paperback Book )