Pages that link to "Item:Q3370616"
From MaRDI portal
The following pages link to Undecidability of First-Order Intuitionistic and Modal Logics with Two variables (Q3370616):
Displayed 1 item.
The following pages link to Undecidability of First-Order Intuitionistic and Modal Logics with Two variables (Q3370616):
Displayed 1 item.