Pages that link to "Item:Q2946599"

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

Displaying 2 items.

• Classical predicative logic-enriched type theories (Q636367) (← links)
• POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND (Q6204145) (← links)