Pages that link to "Item:Q6075431"
From MaRDI portal
The following pages link to What Do We Want a Foundation to Do? (Q6075431):
Displayed 6 items.
- On representations of intended structures in foundational theories (Q2121479) (← links)
- Generating custom set theories with non-set structured objects (Q2128829) (← links)
- Set Theory and Structures (Q6075428) (← links)
- Category theory in Isabelle/HOL as a basis for meta-logical investigation (Q6118814) (← links)
- Protocol choice and iteration for the free cornering (Q6151626) (← links)
- Virtue theory of mathematical practices: an introduction (Q6187756) (← links)