Lerman M. ...


Lerman M.
[2000]
A necessary and sufficient condition for embedding principally decomposable finite lattices into the computably enumerable degrees
Ann. Pure Appl. Logic, 101, № 2-3, 275-297
?
O
article

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