书籍 — Gödel's theorem

RU

数学的辩护（文集）

A

Владимир Успенский

算法与理论