竹内外史
E1884690
UNEXPLORED
竹内外史は、証明論と数理論理学の発展に大きく貢献した日本の著名な数学者です。
All labels observed (1)
| Label | Occurrences |
|---|---|
| 竹内外史 canonical | 1 |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.