2 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
Ample Dividing
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 4 / December 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1385-1402
- Print publication:
- December 2003
-
- Article
- Export citation