Pages that link to "Item:Q5121795"
From MaRDI portal
The following pages link to The law of excluded middle in the simplicial model of type theory (Q5121795):
Displayed 6 items.
The following pages link to The law of excluded middle in the simplicial model of type theory (Q5121795):
Displayed 6 items.