https://intlibrary.ir/download/a-concise-introduction-to-mathematical-logic-21027/