Pages that link to "Item:Q1976877"
From MaRDI portal
The following pages link to Intuitionistic choice and classical logic (Q1976877):
Displaying 10 items.
- Wellfounded trees in categories (Q1577483) (← links)
- Statistics of intuitionistic versus classical logics (Q1826933) (← links)
- Determinate logic and the axiom of choice (Q2007876) (← links)
- Heyting-valued interpretations for constructive set theory (Q2575769) (← links)
- 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000. La Sorbonne, Paris, France, July 23-31, 2000 (Q2732529) (← links)
- A Constructive Proof of Dependent Choice, Compatible with Classical Logic (Q2986812) (← links)
- Intuitionistic Decision Procedures Since Gentzen (Q3305556) (← links)
- (Q4453637) (← links)
- (Q5741601) (← links)
- Type theories, toposes and constructive set theory: Predicative aspects of AST (Q5957856) (← links)
