Мороз Б.З. Диофантовы уравнения и доказуемость в математике

Москва: МЦНМО, 2008. — 56 с.В книге в доступной для студентов-математиков форме доказывается теорема Матиясевича (1970 г. ) о том, что всякое перечислимое множество является диофантовым.Предисловие
Диофантовы предикаты.
Уравнение Пелля.
О диофантовости арифметических функций.
Ограниченные кванторы всеобщности.
Универсальные полиномы.
Диофантовость и перечислимость.
Диофантовы уравнения и доказуемость.