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


Freivalds R.V., Kinber E.B., Wiehagen R.
[1982]
Inductive interence and computable one-one numberings
Z. math. Logik und Grundl. Math., 28 , № 5, 463-479
83.05.52
O
article

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