Ambos-Spies K., Lempp S., Lerman M. ...


Ambos-Spies K., Lempp S., Lerman M.
[1994]
Lattice embeddings into the r. e. degrees preserving 1
Proc. IX Inter. Congress Logic, Methodology, Philosophy Sci., (Uppsala, 1991), North-Holland, 179-198
?
O
article

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