Pages that link to "Item:Q4862761"
From MaRDI portal
The following pages link to Equivalences between logics and their representing type theories (Q4862761):
Displayed 1 item.
The following pages link to Equivalences between logics and their representing type theories (Q4862761):
Displayed 1 item.