Myhill J. ...

Новости

26 Сентября, 2024 Отбор в Совет обучающихся образовательных организаций высшего образования и научных организаций

24 Сентября, 2024 Приглашаем принять участие в Открытой конференции ИСП РАН

19 Сентября, 2024 Открыт приём заявок на премию «За верность науке»

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

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