The seminar explored how intuitionistic logic reshapes the notion of truth in constructive mathematics.
セミナーでは、直観主義論理が構成的数学における真理の概念をどのように変えるかが議論された。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
