The following pages link to (Q5805960):
Displaying 4 items.
- An algebraic semantics approach to the effective resolution of type equations (Q1093359) (← links)
- The creating subject, the Brouwer-Kripke schema, and infinite proofs (Q1788337) (← links)
- A constructive intermediate value theorem (Q2556610) (← links)
- Weyl and Intuitionistic Infinitesimals (Q3297255) (← links)
