ピレンヌ・テーゼをめぐる諸問題 : アンネ・リージング女史の学界展望を中心に
スポンサーリンク
概要
- 論文の詳細を見る
- 社会経済史学会の論文
- 1962-05-20
著者
関連論文
- Normal forms in two normal modal logics (Formal Systems and Computality Theory)
- シークエント体系の証明図から実証明を作る方法
- ピレンヌ・テーゼをめぐる諸問題 : アンネ・リージング女史の学界展望を中心に
- Formulas with only one atomic formula in Grzegorczyk logic and provability logic(Proof Theory of Arithmetic)
- 証明可能性の論理と解釈可能性の論理におけるレーブの公理の性質を用いたカット除去定理の証明 (シークエント計算による証明論)