https://bookem.ir/books/1318918-The-Mathematical-Analysis-of-Logic