30 0 0 0 OA 体系からの脱出 : 証明論による解析
2 0 0 0 OA Ordinal Diagramについて
- 著者
- 八杉 満利子
- 出版者
- 一般社団法人 日本数学会
- 雑誌
- 数学 (ISSN:0039470X)
- 巻号頁・発行日
- vol.26, no.2, pp.121-136, 1974-05-15 (Released:2008-12-25)
- 参考文献数
- 46
2 0 0 0 OA 証明論の思い出
- 著者
- 八杉 満利子
- 出版者
- 一般社団法人 日本数学会
- 雑誌
- 数学 (ISSN:0039470X)
- 巻号頁・発行日
- vol.49, no.3, pp.292-296, 1997-07-30 (Released:2008-12-25)
- 参考文献数
- 11
1 0 0 0 OA 「数理論理学-20世紀から21世紀へ-」に寄せて
- 著者
- 八杉 満利子
- 出版者
- 科学基礎論学会
- 雑誌
- 科学基礎論研究 (ISSN:00227668)
- 巻号頁・発行日
- vol.32, no.1, pp.1, 2004-10-25 (Released:2009-07-23)
1 0 0 0 OA 不連続関数の極限計算可能性 意義と問題点
- 著者
- 八杉 満利子
- 出版者
- 科学基礎論学会
- 雑誌
- 科学基礎論研究 (ISSN:00227668)
- 巻号頁・発行日
- vol.30, no.2, pp.43-48, 2003-03-25 (Released:2009-07-23)
- 参考文献数
- 12
1 0 0 0 OA 現実的微積分法
- 著者
- 八杉 満利子
- 出版者
- 科学基礎論学会
- 雑誌
- 科学基礎論研究 (ISSN:00227668)
- 巻号頁・発行日
- vol.23, no.2, pp.59-64, 1996-03-31 (Released:2009-07-23)
- 参考文献数
- 6