ダウンロード数: 450
このアイテムのファイル:
ファイル | 記述 | サイズ | フォーマット | |
---|---|---|---|---|
phs_15_85.pdf | 255.04 kB | Adobe PDF | 見る/開く |
タイトル: | <サーヴェイ論文>証明論的意味論における原子ベースと完全性の連関 |
その他のタイトル: | <Survey Articles>A Connection between atomic base and completeness in Proof-Theoretic semantics |
著者: | 豊岡, 正庸 |
著者名の別形: | TOYOOKA, Masanobu |
発行日: | 3-Apr-2021 |
出版者: | 京都大学文学部科学哲学科学史研究室 |
誌名: | 科学哲学科学史研究 |
巻: | 15 |
開始ページ: | 85 |
終了ページ: | 111 |
DOI: | 10.14989/262968 |
URI: | http://hdl.handle.net/2433/262968 |
出現コレクション: | 第15号 |
このリポジトリに保管されているアイテムはすべて著作権により保護されています。