4 results
EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 3 / September 2023
- Published online by Cambridge University Press:
- 20 July 2022, pp. 1138-1169
- Print publication:
- September 2023
-
- Article
-
- You have access
- HTML
- Export citation
Higher-Order Logic and Type Theory
-
- Published online:
- 10 March 2022
- Print publication:
- 31 March 2022
-
- Element
- Export citation
19 - Proprietary remedies
- from Part 7 - Proprietary remedies
-
- Book:
- Remedies in Australian Private Law
- Published online:
- 15 March 2019
- Print publication:
- 07 August 2018, pp 511-532
-
- Chapter
- Export citation
Continuity properties in constructive mathematics
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 2 / June 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 557-565
- Print publication:
- June 1992
-
- Article
- Export citation