Gaisi
E1884691
UNEXPLORED
Gaisi is the given name of Gaisi Takeuti, a prominent Japanese logician known for his work in proof theory and the foundations of mathematics.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Gaisi canonical | 1 |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.