Post E.L. ...

Новости

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

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

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

Post E.L.

[1936]

Finite combinatory processes. Formulation, I

J. Symbolic Logic, 1, № 3, 103-105 (Русский перевод в книге В.А.Успенского “ Машины Поста”, М., Наука, 1979, 83-88.)

~

ROS

article

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