Pages that link to "Item:Q2524684"
From MaRDI portal
The following pages link to An algebraic formulation of cut-elimination theorem (Q2524684):
Displayed 1 item.
The following pages link to An algebraic formulation of cut-elimination theorem (Q2524684):
Displayed 1 item.