2 results
INTUITIONISTIC SAHLQVIST THEORY FOR DEDUCTIVE SYSTEMS
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 20 February 2023, pp. 1-59
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
1 - Receiving
-
- Book:
- Aspects of Truth
- Published online:
- 06 October 2020
- Print publication:
- 22 October 2020, pp 1-40
-
- Chapter
-
- You have access
- HTML
- Export citation