Применения и следствия из последней работы по десятой проблеме Гильберта

Мартин Дэвис

 Англоязычная версия: , 1963, 7, 246–250

Реферативные базы данных:

• 
•