Изменения

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

Теорема Иммермана

34 байта добавлено, 17:46, 2 июня 2010

→‎Утверждение теоремы

=== Утверждение теоремы ===

Классы '''[[NL]]''' = и '''co-NL'''совпадают.

=== Доказательство ===

Анонимный участник

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