Pages that link to "Item:Q5834313"

The following pages link to A homogeneous system for formal logic (Q5834313):

Displaying 4 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)