Pages that link to "Item:Q320173"
From MaRDI portal
The following pages link to Some obstacles facing a semantic foundation for constructive mathematics (Q320173):
Displaying 3 items.
- Classical arithmetic is part of intuitionistic arithmetic (Q2707481) (← links)
- An Institutional Foundation for the $$\mathbb {K}$$K Semantic Framework (Q2787335) (← links)
- Some Remarks on a Difference between Gentzen's Finitist and Heyting's Intuitionist Approaches toward Intuitionistic Logic and Arithmetic (Q3542785) (← links)