Logic in Computer Science
Hantao Zhang
Jian Zhang
80 €
💡️
Please note that this product is a pre-order. Its publication date is 12 Jan 2025. It will ship shortly after.
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.
Publisher: Springer Verlag, Singapore
Binding: Paperback
Publication date: 12 Jan 2025
Dimensions: 235 x 155 x 155 mm
ISBN: 9789819798155
