Her research in metalogic clarified the limits of formal proof systems.
彼女のメタ論理学の研究は形式的証明体系の限界を明らかにした。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
