https://intlibrary.ir/download/an-introduction-to-logic-72277-6646/