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


Schinzel B.
[1980]
Decomposition of Godel-numberings into Friedberg-numberings
J. Symbolic Logic, 47, № 2, 267-274
82.11.22
article

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