| Номер документа в системі: | 184654 |
| Автор: | Мороз Б. 3. |
| Назва документа: | Диофантовы уравнения и доказуемость в математике |
| Видавництво: | МЦНМО |
| Місто видання: | М. |
| Рік видання: | 2008 |
| Мова документу | Російська |
| Аннотація | В книге в доступной для студентов-математиков форме доказывается теорема Матиясевича (1970 г.) о том, что всякое перечислимое множество является диофантовым. |
| Кількість сторінок | 56 с. |