Изменения

Обсуждение:Теорема Райса-Шапиро

1 байт убрано, 16:09, 10 января 2015

Нет описания правки

{{Определение

|definition=

'''Язык <tex>L</tex> удовлетворяет свойству <tex>A</tex>''', если <tex>L \in A</tex>. ( этот язык содержится в A<tex>A</tex>.

}}

497

правок