安部, 直人, 1950-
安部, 直人
VIAF ID: 1325152636194920052096 (Personal)
Permalink: http://viaf.org/viaf/1325152636194920052096
Preferred Forms
- 100 1 _ ‡a 安部, 直人
- 100 1 _ ‡a 安部, 直人, ‡d 1950-
4xx's: Alternate Name Forms (4)
Works
Title | Sources |
---|---|
Suri ronri no shuho : Shomei no hakken to hairiho no jokyo. | |
数理論理の手法 : 証明の発見と背理法の除去 |