Takeuti G. ...


Takeuti G.
[1965]
Recursive functions and arithmetic functions of ordinal numbers
Proc. II Inter. Congress Logic, Methodology, Philosophy Sci., (Amsterdam, 1965), Amsterdam, 179-196
69.04.52
article

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