Изменения

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

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

1 байт добавлено, 18:42, 17 января 2012

м

Перенос строки для красоты

Такой программы достаточно для доказательства перечислимости.

}}

== Лемма о перечислимости свойства перечислимого множества образцов ==

141

правка

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/17129»