WebOPAC Local書誌詳細

図書館HP | ログイン

書誌詳細

東京都立大学図書館

検索結果一覧へ戻る

Mathematical incompleteness in arithmetic

京都大学数理解析研究所, 1995. -- (数理解析研究所講究録 ; 912). <BB00045960>

登録タグ：

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

便利機能：

詳細情報を見る

書誌URL：

Mathematical incompleteness in arithmetic

京都大学数理解析研究所, 1995. -- (数理解析研究所講究録 ; 912). <BB00045960>

登録タグ：

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

便利機能：

詳細情報を見る

書誌URL：

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

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

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


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

このページのTOPへ

書誌詳細

標題および責任表示	Mathematical incompleteness in arithmetic
出版・頒布事項	[京都] : 京都大学数理解析研究所 , 1995.5
形態事項	84p ; 26cm
書誌構造リンク	数理解析研究所講究録\|\|スウリカイセキケンキュウショコウキュウロク <BB00036669> 912//a
その他の標題	表紙タイトル:算術諸体系の不完全性の研究 : 短期共同研究サンジュツショタイケイノフカンゼンセイノケンキュウ : タンキキョウドウケンキュウ
内容著作注記	CR of a reduction for classical natural deduction / 安東祐希
内容著作注記	On the difficulty of writing out formal proofs in PRA / 鹿島亮
内容著作注記	Kolmogorov complexity and the second incompleteness theorem / 菊池誠
内容著作注記	数学基礎論入門 : 紹介シリーズ刊行計画について / 倉田令二朗スウガクキソロンニュウモン : ショウカイシリーズカンコウケイカクニツイテ
内容著作注記	Forcing on a nonstandard model of arithmetic / 黒田覚
内容著作注記	A non-standard proof of the Peano existence theorem in WKL[0] / 田中一之
内容著作注記	A relationship among Gentzen's proof-reduction, Kirby-Paris' Hydra game, and Buchholz's Hydra game / 浜野正浩, 岡田光弘
内容著作注記	A formula separating two theories / 山口武志
注記	短期共同研究「算術諸体系の不完全性の研究」報告集(1994年12月19日-12月22日) 研究代表者:角田法也
学情ID	BN12644287
本文言語コード	日本語英語
著者標目リンク	京都大学数理解析研究所\|\|キョウトダイガクスウリカイセキケンキュウショ <AU00064589>

このページのTOPへ

検索結果一覧へ戻る

このページのTOPへ