共 50 条
[33]
On topological graphs with at most four crossings per edge
[J].
COMPUTATIONAL GEOMETRY-THEORY AND APPLICATIONS,
2019, 85
[34]
Internal Categoricity, Truth and Determinacy
[J].
JOURNAL OF PHILOSOPHICAL LOGIC,
2023, 52 (05)
:1295-1325
[39]
Failures of Categoricity and Compositionality for Intuitionistic Disjunction
[J].
THOUGHT-A JOURNAL OF PHILOSOPHY,
2012, 1 (04)
:281-291