Чечулин, В. Л.
    О счетности простых деревьев и следствиях из нее [Текст] / В. Л. Чечулин // Вестник Пермского университета. - 2010. - Вып. 4 (4). - С. 20-23. - Библиогр.: с. 22-23 (5 назв. ). - Назв. вып.: Математика. Механика. Информатика . - ISSN 1993-0550
УДК
ББК 22.171
Рубрики: Математика
   Теория вероятностей

Кл.слова (ненормированные):
счетность простых деревьев -- самопринадлежность -- теорема Геделя
Аннотация: В статье обоснованы, посредством семантики самопринадлежности, теоремы Геделя, а также утверждения о несчетности количества точек прямой.

Нет сведений об экземплярах (Источник в БД не найден)