Kleene S.C. ...


Kleene S.C.
[1962]
Turing-machine computable functionals of finite types, I
Proc. I Iinter. Congress Logic, Methodology, Philosophy Sci., (Stanford, 1960), Stanford Univ. Press, 1962, 38-45 (Русский перевод в сб. “Математическая логика и ее применения”, (Мальцев А.И.- ред.), М., Мир, 1965, 37-46.)
65.08.65
R
article

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