Электронный каталог: Широков В. А. - Формалізація в галузі лінгвістики