Pages that link to "Item:Q3612432"
From MaRDI portal
The following pages link to Weyl’s Predicative Classical Mathematics as a Logic-Enriched Type Theory (Q3612432):
Displaying 5 items.
- Classical predicative logic-enriched type theories (Q636367) (← links)
- Weyl's predicative classical mathematics as a logic-enriched type theory (Q2946599) (← links)
- A pluralist approach to the formalisation of mathematics (Q3094181) (← links)
- WEYL REEXAMINED: “DAS KONTINUUM” 100 YEARS LATER (Q3386608) (← links)
- In the Search of a Naive Type Theory (Q3499754) (← links)