Freivalds R.V., Kinber E.B., Wiehagen R. ...


Freivalds R.V., Kinber E.B., Wiehagen R.
[1984]
Connections between identifying functionals, standardizing operations and computable numberings
Z. math. Logik und Grundl. Math., 30, № 2, 145-164
?
O
article

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