1 0 0 0 OA 帰結関係と帰結作用素への誘い
- 著者
- 井上 茂雄
- 出版者
- 日本科学哲学会
- 雑誌
- 科学哲学 (ISSN:02893428)
- 巻号頁・発行日
- vol.25, pp.69-84, 1992-11-14 (Released:2009-05-29)
- 参考文献数
- 18
1 0 0 0 OA 公理的拒否における石本の定理について 証明不可能性についての哲学
- 著者
- 井上 茂雄
- 出版者
- 日本科学哲学会
- 雑誌
- 科学哲学 (ISSN:02893428)
- 巻号頁・発行日
- vol.22, pp.77-93, 1989-11-10 (Released:2009-05-29)
- 参考文献数
- 10
1 0 0 0 OA FitchのBasic Logicを出発点として 構成的数学の哲学的基礎
- 著者
- 井上 茂雄
- 出版者
- 日本科学哲学会
- 雑誌
- 科学哲学 (ISSN:02893428)
- 巻号頁・発行日
- vol.17, pp.133-148, 1984-11-24 (Released:2009-05-29)
- 参考文献数
- 32