Книга (аналит. описание)

Головко, Галина Ивановна.
Теорема Левенгейма-Сколема как формальный коррелят лексикографического эффекта в информационных системах / Г. И. Головко, В. А. Широков // Горизонти прикладної лінгвістики та лінгвістичних технологій = Горизонты прикладной лингвистики и лингвистических технологий = Horizonts of applied linguistics and linguistic technologies : доп. Міжнар. наук. конф., 20-27 верес. 2006, Україна, Крим, Партеніт / НАН України, Укр. мовно-інформац. фонд [та ін.]; ред.: В. А. Широков, С. С. Дікарєва. – Сімферополь : ДиАйПи, 2006. – С. 201-202.