Любецкий В.А. Topics in classical and intuitionistic model theory : Lecture notes / В.А.Любецкий,М.Д.А.Лариджани, 2000. - 389 p. - Текст : непосредственный.