Pages that link to "Item:Q1217466"
From MaRDI portal
The following pages link to The inverse method and tactics for establishing deducibility for a calculus with functional symbols (Q1217466):
Displayed 1 item.
The following pages link to The inverse method and tactics for establishing deducibility for a calculus with functional symbols (Q1217466):
Displayed 1 item.