Журналы
Разделы книг
Статьи по ключевому слову set-theoretic formalization
А.С. Михайлов - к.т.н., доцент, кафедра кибернетики НИЯУ МИФИ (Москва). E-mail: almikh@mail.ru