Pages that link to "Item:Q1662269"
From MaRDI portal
The following pages link to The Andrews-Curtis conjecture, term rewriting and first-order proofs (Q1662269):
Displaying 1 item.
The following pages link to The Andrews-Curtis conjecture, term rewriting and first-order proofs (Q1662269):
Displaying 1 item.