https://bookem.ir/books/2893996-Logic-and-Language-Models-for-Computer-Science