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


Chong C.T., Yang Yue
[2000]
Computability theory in arithmetic: provability, structure and techniques
Contemporary Math., 257, 73-81
09.09.117
article

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