https://bookem.ir/books/1438430-Logical-Foundations-of-Computer-Science