https://bookem.ir/books/3537791-Logic-for-computer-scientists