The following pages link to (Q5741601):
Displaying 5 items.
- Intuitionistic proof versus classical truth. The role of Brouwer's creative subject in intuitionistic mathematics (Q1705452) (← links)
- Classical arithmetic is part of intuitionistic arithmetic (Q2707481) (← links)
- Dummett's case for intuitionism (Q3342527) (← links)
- In defence of a logic for ‘because’ (Q4586160) (← links)
- Semantic theories, linguistic essences, and knowledge of meaning (Q6180168) (← links)