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


Meyer A.R., Fischer M.J.
[1972]
Computational speed-up by effective operators
J. Symbolic Logic, 37, № 1, 55-68
73.01.67; O
article

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