ダウンロード数: 194

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
0362-1.pdf1.37 MBAdobe PDF見る/開く
タイトル: Heyting Valued Set Theory (数学基礎論)
著者: 竹内, 外史  KAKEN_name
千谷, 慧子  KAKEN_name
著者名の別形: TAKEUCHI, GAISHI
CHITANI, SATOKO
発行日: Sep-1979
出版者: 京都大学数理解析研究所
誌名: 数理解析研究所講究録
巻: 362
開始ページ: 1
終了ページ: 24
URI: http://hdl.handle.net/2433/104560
出現コレクション:0362 数学基礎論

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

Export to RefWorks


出力フォーマット 


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