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


Shore R.A.
[1977]
α-recursion theory
Handbook of Mathematic Logic, p.D, North-Holland, 653-680 (Русский перевод в Справочной книге по математической логике, ч. III , (Ершов Ю. Л. – ред.), М., Наука, 1982, 111-133.)
?
OS
article

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