コレクションホームページ
2233 数理論理学とその応用
7
2233 数理論理学とその応用
7
(http://hdl.handle.net/2433/281833)
ブラウズ
文献一覧(目次の昇順ソート): 1 - 7 / 7
書誌情報 | ファイル |
---|---|
表紙・目次 (2022-11) 数理解析研究所講究録, 2233 | |
Second-Order Logic and Related Systems : a game-semantical perspective (Mathematical Logic and its Applications) Li, Wenjuan; Tanaka, Kazuyuki (2022-11) 数理解析研究所講究録, 2233: 1-19 | |
カリー・ハワード同型と証明の形式化 (数理論理学とその応用) Fujita, Ken-etsu (2022-11) 数理解析研究所講究録, 2233: 20-54 | |
Hrushovskiの強極小構造 (数理論理学とその応用) 池田, 宏一郎 (2022-11) 数理解析研究所講究録, 2233: 55-64 | |
様相ミュー計算のタブロー法の完全性と無限ゲームの決定性について (数理論理学とその応用) 鹿島, 亮 (2022-11) 数理解析研究所講究録, 2233: 65-81 | |
連続関数環のLŌWENHEIM-SKOLEM-TARSKIの性質 (数理論理学とその応用) 薄葉, 季路 (2022-11) 数理解析研究所講究録, 2233: 82-104 | |
証明可能性述語の様相論理 (数理論理学とその応用) 倉橋, 太志 (2022-11) 数理解析研究所講究録, 2233: 105-122 |
文献一覧(目次の昇順ソート): 1 - 7 / 7