Silibovski S., Remmel J.B. ...


Silibovski S., Remmel J.B.
[1987]
The undecidability of the lattice of r.e. closed subsets of r.e. effective topological space
Ann. Pure Appl. Logic, 35, № 2 , 193-203.
87.12.34
article

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