Graduate students in the department studied a range of intuitionistic logics to prepare for the logic seminar.
学部院生たちは論理のゼミに備えて、直観主義論理の諸体系を幅広く学んだ。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
