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


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

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