“Weyl’s Predicative Classical Mathematics as a Logic-Enriched Type Theory”
- #wikiquote
- #quote
“Weyl’s Predicative Classical Mathematics as a Logic-Enriched Type Theory”
Captured 2026-08-17 from Wikiquote (en). The archived copy is preserved so this citation survives link rot.