(1)
Матиясевич, Ю. В. Математическое доказательство: вчера, сегодня, завтра. CTE 2014.