Библиография Лаврова И.А.


Haught C. A.
[1987]
Lattice embeddings in the recursively enumerable truth table degrees
Trans. Amer. Math. Soc., 301, № 2, 515-535
88.01.38
OS
article

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