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


Fejer L., Shore R.A.
[1988]
Infima of recursively enumerable truth table degrees
Notre Dame J. Formal Logic, 29, № 3, 420-437
?
OS
article

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