Kreisel G.,Lacombe D.,Shoenfield J.R. ...


Kreisel G., Lacombe D., Shoenfield J.R.
[1957]
Partial recursive functionals and effective operations
Constructivity in Mathematics, North-Holland, 290-297
59.7674
ROS
article

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