ダウンロード数: 6716
このアイテムのファイル:
| ファイル | 記述 | サイズ | フォーマット | |
|---|---|---|---|---|
| ronso38_S49_type.pdf | 309.31 kB | Adobe PDF | 見る/開く |
| タイトル: | タイプ理論の起源と発展 |
| その他のタイトル: | Type Theory : its Origin and Development |
| 著者: | 池田, 真治  伊藤, 遼 久木田, 水生 |
| 著者名の別形: | IKEDA, Shinji ITO, Ryo KUKITA, Minao |
| 発行日: | 2011 |
| 出版者: | 京都大学哲学論叢刊行会 |
| 誌名: | 哲学論叢 |
| 巻: | 38 |
| 号: | 別冊 |
| 開始ページ: | S49 |
| 終了ページ: | S60 |
| URI: | http://hdl.handle.net/2433/151121 |
| 出現コレクション: | 第38号 別冊 |
このリポジトリに保管されているアイテムはすべて著作権により保護されています。