В настоящей книге дается детальное изложение современного состояния теории доказательств. Хотя достижения этой теории на сегодняшний день и очень скромны по сравнению с целями, которые она перед собой ставит, тем не менее в ней содержится много ярких результатов, точек зрения и идей, безусловно заслуживающих того, чтобы их довести до сведения читателей.

Скачать книгу бесплатно (djvu, 7.04 Mb)

---

Читать «Основания математики. Теория доказательств»