The following pages link to (Q5816113):
Displayed 6 items.
- A classical view of the intuitionistic continuum (Q1923572) (← links)
- Intuitionism: an inspiration? (Q2065727) (← links)
- Weihrauch Complexity in Computable Analysis (Q5024577) (← links)
- THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC (Q5274882) (← links)
- A formalization of measurement scale forms (Q5625024) (← links)
- Analyzing realizability by Troelstra's methods (Q5957857) (← links)