Pages that link to "Item:Q1336767"
From MaRDI portal
The following pages link to Extending Bachmair's method for proof by consistency to the final algebra (Q1336767):
Displayed 1 item.
The following pages link to Extending Bachmair's method for proof by consistency to the final algebra (Q1336767):
Displayed 1 item.