| М 23 |
Манин, Ю. И.
Доказуемое и недоказуемое [Текст] / Ю. И. Манин. – М. : Сов. радио, 1979. – 166 с. – (Кибернетика). – 40000.
Рассмотрены теория математического доказательства и причины, по которым те или иные вопросы оказываются принципиально неразрешимыми. |
