（論理）数学的論理
數理邏輯
数理論理学（数学的手法を用いて論理の体系や推論の構造を研究する学問分野） / 数学的論理（論理式や推論規則を数学的に形式化した体系）
最近、大学の数理論理の授業で多くの興味深い問題を発見しました。
Recently, I discovered many intriguing problems in the university's mathematical logic class.
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
