Pages that link to "Item:Q3265667"
From MaRDI portal
The following pages link to Constructive definition of certain analytic sets of numbers (Q3265667):
Displayed 9 items.
- Implication and analysis in classical Frege structures (Q1095139) (← links)
- Bibliography of John Myhill (Q1192339) (← links)
- Levels of truth (Q1903585) (← links)
- Predicativity and constructive mathematics (Q2080590) (← links)
- Some results concerning proofs of statements about programs (Q2537129) (← links)
- Error and Predicativity (Q3195675) (← links)
- Lorenzen and Constructive Mathematics (Q5024724) (← links)
- Abstraction in Fitch's Basic Logic (Q5497106) (← links)
- Infinite objects in type theory (Q6083690) (← links)