https://intlibrary.ir/download/logic-and-discrete-mathematics:-a-concise-introduc-65589/