Библиография Лаврова И.А.


Post E.L.
[1936]
Finite combinatory processes. Formulation, I
J. Symbolic Logic, 1, № 3, 103-105 (Русский перевод в книге В.А.Успенского “ Машины Поста”, М., Наука, 1979, 83-88.)
~
ROS
article

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