石原, 哉
VIAF ID: 117463931 ( Personal )
Permalink: http://viaf.org/viaf/117463931
Preferred Forms
- 100 1 _ ‡a 石原, 哉
- 100 1 _ ‡a 石原, 哉
4xx's: Alternate Name Forms (4)
Works
Title | Sources |
---|---|
Shomei saho : Ronri no shoho kara shomei no jissen e. | |
構成的数学における計算可能性と計算の複雑さに関する研究 | |
構成的算術体系に対する部分帰納的実現可能性解釈の研究 | |
証明作法 = The Practice of Proof Writing : 論理の初歩から証明の実践へ |