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


Church A.
[1936]
A note on the Entscheidungsproblem
J. Symbolic Logic, 1, № 1, 40-41, 1, № 3, 101-102
~
ROS
article

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