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


Skolem T.
[1962];[1963]
Proofs of some theorems on recursively enumerable sets. Addendum
Notre Dame J. Formal Logic, 3, 65-74; 4,44-47
?;65.11.81
O
article

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