1 results
BOOLEAN TYPES IN DEPENDENT THEORIES
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 4 / December 2022
- Published online by Cambridge University Press:
- 26 January 2022, pp. 1349-1373
- Print publication:
- December 2022
-
- Article
-
- You have access
- Open access
- HTML
- Export citation