WebOPAC Local書誌詳細

図書館HP | ログイン

書誌詳細

東京都立大学図書館

前の画面へ戻る

2階算術の諸体系の研究 : 短期共同研究

京都大学数理解析研究所, 1999. -- (数理解析研究所講究録 ; 1096). <BB00994208>

登録タグ：

登録されているタグはありません

便利機能：

詳細情報を見る

書誌URL：

2階算術の諸体系の研究 : 短期共同研究

京都大学数理解析研究所, 1999. -- (数理解析研究所講究録 ; 1096). <BB00994208>

登録タグ：

登録されているタグはありません

便利機能：

詳細情報を見る

書誌URL：

所蔵一覧 1件～1件（全1件）

ナンバーをクリックすると所蔵詳細をみることができます。

No.	巻号	所蔵館	配置場所	資料ID	請求記号	状態	返却予定日	予約	WEB書棚
0001		数理科学	理：数理科学図書室レクチャーノート	10001466590	/410/Su76k/1096			0件


No.	0001
巻号
所蔵館	数理科学
配置場所	理：数理科学図書室レクチャーノート
資料ID	10001466590
請求記号	/410/Su76k/1096
状態
返却予定日
予約	0件
WEB書棚

このページのTOPへ

書誌詳細

標題および責任表示	2階算術の諸体系の研究 : 短期共同研究 2カイサンジュツノショタイケイノケンキュウ : タンキキョウドウケンキュウ
出版・頒布事項	[京都] : 京都大学数理解析研究所 , 1999.4
形態事項	88p ; 26cm
書誌構造リンク	数理解析研究所講究録\|\|スウリカイセキケンキュウショコウキュウロク <BB00036669> 1096//a
内容著作注記	LKの証明図に関する標準型定理 / 池田一磨 LK ノショウメイズニカンスルヒョウジュンガタテイリ
内容著作注記	ATR[[0]のモデル論的ordinal analysis / 高橋康博 ATR[ [0] ノモデルロンテキ ordinal analysis
内容著作注記	Reverse mathematics and weak second-order systems of 0-1 strings / 山崎武
内容著作注記	Complesity theory and bounded arithmetic for truly feasible computation / 黒田覚
内容著作注記	Lagrange-Good inversion from trace / 長谷川立
内容著作注記	A study of Abramsky's linear chemical abstract machine / 三上清光, 赤間陽二
内容著作注記	2階算術と有界選択公理 / 田中一之, 山崎武 2カイサンジュツトユウカイセンタクコウリ
注記	短期共同研究「2階算術の諸体系の研究」報告集: 1999年1月11日-1月14日, 研究代表者:田中一之
注記	参考文献あり
学情ID	BA43019773
本文言語コード	日本語英語
著者標目リンク	京都大学数理解析研究所\|\|キョウトダイガクスウリカイセキケンキュウショ <AU00064589>

このページのTOPへ

前の画面へ戻る

このページのTOPへ