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


Dańko W.
[1980]
A criterion of undecidability of algorithmic theories
Lect. Notes in Comp. Sci., 88, 205-218, Springer -Verlag
81.B7.764
article

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