https://intlibrary.ir/download/general-logic-an-introductory-survey/