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


Shore R.A.
[1978]
On the ∀∃ sentences of α-recursion theory
General Recursion Theory, II, Proc. Symp. (Oslo, 1977), 331-354, North Holland
79.08.35
OS
article

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