Mendeley出力
＜図書＞
証明論における順序数
ショウメイロン ニ オケル ジュンジョスウ
| シリーズ | 数理解析研究所講究録 ; 976 |
|---|---|
| データ種別 | 図書 |
| 出版情報 | 京都 : 京都大学数理解析研究所 , 1997.2 |
| 本文言語 | 日本語,英語 |
| 大きさ | 181p ; 26cm |
| 目次 | Bounded arithmetic vs. propositional calculus / Noriko H. Arai NDKにおける自然な証明についての考察 Counting small sets in weak bounded arithmetic / Satoru Kuroda On Buss and Turán's extensions of Haken's results / Makoto Kikuchi Normal forms for derivations in Arai's AI - ξ / Kazuma Ikeda Characterization theorems for multiplicative fragment of intuitionistic non-commutative linear logic (preliminary report) / Misao Nagayama, Mitsuhiro Okada A system of λ μ - calculus proper to the implicational fragment of classical natural deduction with one conclusion / Yuuki Andou 2階算術の諸体系 : モデル論的手法による分析 その3- Π[0][∞]-BCT の保存性について From the attic / Toshiyasu Arai Consistency proof via pointwise induction / Toshiyasu Arai Introducing the hardline in proof theory / Toshiyasu Arai Semantic characterizations for reachability and trace equivalence in a linear logic-based process calculus (preliminary report) / Mitsuhiro Okada, Kazushige Terui A hierarchy of the fragments of the system of inductive definition (preliminary report) / Masahiro Hamano, Mitsuhiro Okada続きを見る |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
理系図 自動書庫 | 逐次刊行物 | 1997 |
|
023112008500564 |
|
書誌詳細
| 内容注記 | Bounded arithmetic vs. propositional calculus / Noriko H. Arai NDKにおける自然な証明についての考察 Counting small sets in weak bounded arithmetic / Satoru Kuroda On Buss and Turán's extensions of Haken's results / Makoto Kikuchi Normal forms for derivations in Arai's AI - ξ / Kazuma Ikeda Characterization theorems for multiplicative fragment of intuitionistic non-commutative linear logic (preliminary report) / Misao Nagayama, Mitsuhiro Okada A system of λ μ - calculus proper to the implicational fragment of classical natural deduction with one conclusion / Yuuki Andou 2階算術の諸体系 : モデル論的手法による分析 その3- Π[0][∞]-BCT の保存性について From the attic / Toshiyasu Arai Consistency proof via pointwise induction / Toshiyasu Arai Introducing the hardline in proof theory / Toshiyasu Arai Semantic characterizations for reachability and trace equivalence in a linear logic-based process calculus (preliminary report) / Mitsuhiro Okada, Kazushige Terui A hierarchy of the fragments of the system of inductive definition (preliminary report) / Masahiro Hamano, Mitsuhiro Okada |
|---|---|
| 一般注記 | 「証明論における順序数」研究集会報告集, 1996年8月26日-8月29日, 研究代表者: 新井敏康 |
| 著者標目 | 京都大学数理解析研究所 <キョウト ダイガク スウリ カイセキ ケンキュウショ> |
| 書誌ID | 1001378591 |
| NCID | BN16025582 |
| 登録日 | 2009.09.19 |
| 更新日 | 2009.09.19 |