Pages that link to "Item:Q5834304"
From MaRDI portal
The following pages link to An Extension of Klein's Erlanger Program: Logic as Invariant-Theory (Q5834304):
Displayed 9 items.
- Logical operations and invariance (Q861521) (← links)
- Algebra of algorithms and Kaluzhnin's graph-schemas (Q1905123) (← links)
- Extensionality and logicality (Q2695031) (← links)
- What are logical notions? (Q3758801) (← links)
- INVARIANCE CRITERIA AS META-CONSTRAINTS (Q5067873) (← links)
- Über Einfachheitsprinzipien in der Wahrscheinlichkeitstheorie I (Q5507501) (← links)
- The Number of Structures of Finite Relations (Q5820553) (← links)
- Logic, logics, and logicism (Q5937844) (← links)
- Higher Structures in Homotopy Type Theory (Q6075425) (← links)