Pages that link to "Item:Q408550"
From MaRDI portal
The following pages link to Canonical signed calculi with multi-ary quantifiers (Q408550):
Displayed 1 item.
The following pages link to Canonical signed calculi with multi-ary quantifiers (Q408550):
Displayed 1 item.