Pages that link to "Item:Q2707481"
From MaRDI portal
The following pages link to Classical arithmetic is part of intuitionistic arithmetic (Q2707481):
Displaying 5 items.
- Dummett's intuitionism is not strict finitism (Q1187232) (← links)
- Classical and intuitionistic models of arithmetic (Q1355126) (← links)
- The priority of arithmetical truth over arithmetical provability (Q1607593) (← links)
- Classical arithmetic is quite unnatural (Q3592791) (← links)
- Epistemic Optimism (Q3616420) (← links)