Logic in Computer Science
(0 User reviews)
43
978-9819798155
Springer
2025
For read a book, Please sign into your account.
loginMathematical 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.
There are no reviews for this eBook.
There are no comments for this eBook.
You must log in to post a comment.
Log in
