Pages that link to "Item:Q5834313"
From MaRDI portal
The following pages link to A homogeneous system for formal logic (Q5834313):
Displaying 6 items.
- The middle ground-ancestral logic (Q2053352) (← links)
- Integrating induction and coinduction via closure operators and proof cycles (Q2096458) (← links)
- Analysis in a formal predicative set theory (Q2148788) (← links)
- WEYL REEXAMINED: “DAS KONTINUUM” 100 YEARS LATER (Q3386608) (← links)
- Applicable Mathematics in a Minimal Computational Theory of Sets (Q4553281) (← links)
- Why Predicative Sets? (Q5049037) (← links)
