コレクションホームページ
2150 証明論とその周辺
8
2150 証明論とその周辺
8
(http://hdl.handle.net/2433/254730)
ブラウズ
文献一覧（目次の昇順ソート）: 1 - 8 / 8
| 書誌情報 | ファイル |
|---|---|
| 表紙・目次 (2020-04) 数理解析研究所講究録, 2150 |  |
| A Commentary on the Work of Saks and Wigderson 1986: Correlated Distributions on an Unbalanced Binary AND-OR Tree (Proof theory and related topics) Arimoto, Soshi (2020-04) 数理解析研究所講究録, 2150: 1-9 | |
| A category-like structure of computational paths for parallel reduction (Proof theory and related topics) Fujita, Ken-etsu (2020-04) 数理解析研究所講究録, 2150: 10-32 | |
| Solovay還元を用いた第一不完全性定理の証明 (証明論とその周辺) 今井, 裕幸 (2020-04) 数理解析研究所講究録, 2150: 33-40 | |
| Forcing on three sort bounded arithmetic and related theories (Proof theory and related topics) Kuroda, Satoru (2020-04) 数理解析研究所講究録, 2150: 41-55 | |
| 中間述語論理における選言特性と存在特性およびKripke完全性に関する注意 (証明論とその周辺) 鈴木, 信行 (2020-04) 数理解析研究所講究録, 2150: 56-65 | |
| ラムダ計算の簡約グラフについて (証明論とその周辺) 富岡, 峻士; 藤田, 憲悦 (2020-04) 数理解析研究所講究録, 2150: 66-75 | |
| Some variants of analytic (cut) of modal logic $bf{S5}$, $bf{K4B}$, and ${bf{K}}_{bf{t}}{bf{4}}$ (Proof theory and related topics) 矢崎, 大志 (2020-04) 数理解析研究所講究録, 2150: 76-89 | |
文献一覧（目次の昇順ソート）: 1 - 8 / 8
