Изменения

Перейти к: навигация, поиск

Теорема Райса-Шапиро

1 байт добавлено, 02:57, 24 января 2012
м
Enter
Полуразрешителя достаточно для доказательства перечислимости.
}}
 
== Лемма о перечислимости свойства перечислимого множества образцов ==
Tsar
141
правка
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/17718»

Навигация