Pages that link to "Item:Q2946599"

The following pages link to Weyl's predicative classical mathematics as a logic-enriched type theory (Q2946599):

Displaying 4 items.

• Classical predicative logic-enriched type theories (Q636367) (← links)
• A pluralist approach to the formalisation of mathematics (Q3094181) (← links)
• WEYL REEXAMINED: “DAS KONTINUUM” 100 YEARS LATER (Q3386608) (← links)
• POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND (Q6204145) (← links)