書誌情報	ファイル
表紙・目次    (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