https://intlibrary.ir/download/model-theory-for-infinitely-deep-languages-ph-34533/