Pages that link to "Item:Q1788330"
From MaRDI portal
The following pages link to Univalence as a principle of logic (Q1788330):
Displayed 2 items.
The following pages link to Univalence as a principle of logic (Q1788330):
Displayed 2 items.