The following pages link to (Q5839919):
Displaying 6 items.
- Pedagogical second-order \(\lambda \)-calculus (Q732007) (← links)
- A formal system of negationless arithmetic that is conservative with respect to Heyting arithmetic (Q1064322) (← links)
- Negationless intuitionism (Q1267080) (← links)
- The creating subject, the Brouwer-Kripke schema, and infinite proofs (Q1788337) (← links)
- Intuitionism: an inspiration? (Q2065727) (← links)
- Algebras of complemented subsets (Q2104273) (← links)
