Nerode A.,Smith R.L. ...

Новости

20 Сентября, 2023 Объявление о дополнительном приеме в аспирантуру ИСП РАН в 2023 году

08 Сентября, 2023 Напоминаем, что в Москве начались выборы Мэра

06 Сентября, 2023 Открытая конференция ИСП РАН состоится 4-5 декабря

Nerode A., Smith R.L.

[1980]

The undecidability of the lattice of recursively enumerable subspaces

Proc. III Brazilian Conf. Math. Logic, (Recife, 1979), 245-252, Soc. Brasil Logica, San Paulo

?

G

article

Вернуться к поиску