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


Ershov Yu. L. Goncharov S.S. ( et. al. eds)
[1998]
Handbook of Recursive Mathematics, v.1, 2
Studies Logic and Found. Math., 138, 139, North-Holland, Elsevier
?
G
book

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