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


Matijasevich Yu. V.
[1973]
On recursive unsolvability of Hilbert’s tenth problem
Proc. IV Inter. Congress Logic, Methodology, Philosophy Sci.,, (Bucharest, 1971), 74, North-Holland, 89-100
?
article

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