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

Hantao Zhang
Logic in Computer Science 2024 edition

Price
$ 67.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 14 - 20

Our customers say:

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

Not rated yet

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 157 × 235 × 30 mm   ·   754 g

More by Hantao Zhang

Show all

Mere med samme udgiver

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