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


Smullyan R.M.
[1958]
Undecidability and recursive inseparability
Z. math. Logik und Grundl. Math., 4, № 2, 143-147
59.10732
O
article

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