RUS  ENG
Полная версия
ЖУРНАЛЫ // Математика // Архив
Математика, 1964, том 8, выпуск 5, страницы 15–22 (Mi mat325)
Арифметические проблемы и рекурсивно-перечислимые предикаты

Мартин Дэвис



 Англоязычная версия: , 1953, 18, 33–41

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

© МИАН, 2024