"Two Applications of Logic to Mathematics"
E1884694
UNEXPLORED
"Two Applications of Logic to Mathematics" is a seminal work by logician Gaisi Takeuti that explores how proof theory and logical methods can be applied to foundational problems in mathematics.
All labels observed (1)
| Label | Occurrences |
|---|---|
| "Two Applications of Logic to Mathematics" canonical | 1 |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.