论文信息 - Godel and Computations (Abstract). - 字舞流文

Godel and Computations (Abstract).

[1] K. Gödel. Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I , 1931 .