https://intlibrary.ir/download/model-theory-and-applications-85851/