Post E.L. ...


Post E.L.
[1947]
Recursive unsolvability of a problem of Thue
J. Symbolic Logic, 12, № 1, 1-11
~
ROS
article

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