Several logicians collaborated on a paper about proof theory.
数人の論理学者が証明論に関する論文を共同で執筆した。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★