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


Metakides G., Nerode A.
[1982]
The introduction of non recursive methods in mathematics
Proc. Conf. “The I. E .J. Brouwer Centenary Symp.”, (Noorwijkerhout, 1981), North-Holland, 319-335
?
OS
article

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