Wittgenstein's Uniqueness Rule as an Elimination Rule of Inductive Types: In the Context of Separating Arithmetic from Logic
2021
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
12
References
0
Citations
NaN
KQI