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


Kreisel G.
[1959]
Interpretation of analysis by means of constructive functionals of finite types
Constructivity in Mathematics North-Holland, 101-128
64.02.113
EO
article

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