|
|
Автор: Мороз Б.З.
Издательство: МЦМНО
Год издания: 2008
isbn: 978-5-94057-375-3
Количество страниц: 56
Язык: русский
Формат: DJVU
|
книге в доступной для студентов-математиков форме доказывается теорема Матиясевича (1970 г.) о том, что всякое перечислимое множество является диофантовым. |
|