ダウンロード数: 159

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
1096-3.pdf706.38 kBAdobe PDF見る/開く
タイトル: Reverse Mathematics and weak second-order systems of 0-1 strings
著者: Yamazaki, Takeshi
著者名の別形: 山崎, 武
発行日: Apr-1999
出版者: 京都大学数理解析研究所
誌名: 数理解析研究所講究録
巻: 1096
開始ページ: 25
終了ページ: 34
URI: http://hdl.handle.net/2433/63005
MR Number: 1752491
出現コレクション:1096 2階算術の諸体系の研究

アイテムの詳細レコードを表示する

Export to RefWorks


出力フォーマット 


このリポジトリに保管されているアイテムはすべて著作権により保護されています。