Pages that link to "Item:Q3237138"
From MaRDI portal
The following pages link to Formal systems of constructive mathematics (Q3237138):
Displaying 6 items.
- A complete and consistent formal system for sortals (Q1591344) (← links)
- Classification of alignments between concepts of formal mathematical systems (Q2364703) (← links)
- (Q3511031) (← links)
- Formalizing Scientifically Applicable Mathematics in a Definitional Framework (Q5195269) (← links)
- A complete theory of natural, rational, and real numbers (Q5802106) (← links)
- A FORMAL SYSTEM FOR EUCLID’S<i>ELEMENTS</i> (Q5850985) (← links)