The following pages link to (Q5586230):
Displayed 7 items.
- Non-classical propositional calculi in relation to methodological patterns of scientific investigation (Q1212922) (← links)
- A classical view of the intuitionistic continuum (Q1923572) (← links)
- Unavoidable sequences in constructive analysis (Q3552398) (← links)
- Monotone recursive types and recursive data representations in Cedille (Q5076393) (← links)
- (Q5646882) (← links)
- (Q5652656) (← links)
- Analyzing realizability by Troelstra's methods (Q5957857) (← links)