https://intlibrary.ir/download/a-handbook-of-logic-47223/