https://intlibrary.ir/download/elements-of-symbolic-logic-17727-3988/