Pages that link to "Item:Q2055842"
From MaRDI portal
The following pages link to Tableau-based decision procedure for non-Fregean logic of sentential identity (Q2055842):
Displayed 1 item.
The following pages link to Tableau-based decision procedure for non-Fregean logic of sentential identity (Q2055842):
Displayed 1 item.