https://intlibrary.ir/download/logical-foundations-of-computer-science:-internati-57423-6518/