1 results
AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 28 / Issue 3 / September 2022
- Published online by Cambridge University Press:
- 21 July 2022, pp. 327-386
- Print publication:
- September 2022
-
- Article
- Export citation