1 0 0 0 OA ブールバキの数学基礎論
- 著者
- 安原 満
- 出版者
- 科学基礎論学会
- 雑誌
- 科学基礎論研究 (ISSN:00227668)
- 巻号頁・発行日
- vol.3, no.1, pp.388-393, 1956-10-15 (Released:2009-09-04)
- 参考文献数
- 1
1 0 0 0 OA Lewis-Langfordの体系における厳密内含に関しての演繹定理
- 著者
- 安原 満
- 出版者
- 科学基礎論学会
- 雑誌
- 科学基礎論研究 (ISSN:00227668)
- 巻号頁・発行日
- vol.2, no.4, pp.337-341, 1956-07-30 (Released:2009-09-04)
- 参考文献数
- 2