Myhill J. ...


Myhill J.
[1962]
Recursive equivalence types and combinatorial functions
Proc. I Inter. Congress Logic, Methodology, Philosophy Sci., (Stanford, 1960), Stanford Univ. Press, 1962, 46-55 (Русский перевод в сб. “Математическая логика и ее применения”, (Мальцев А.И.- ред.), М., Мир, 1965, 47-59.)
65.09.58
article

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