https://intlibrary.ir/download/logic-language-information-and-computation-21-58776/