Pages that link to "Item:Q4032866"
From MaRDI portal
The following pages link to Polynomially and superexponentially shorter proofs in fragments of arithmetic (Q4032866):
Displayed 1 item.
The following pages link to Polynomially and superexponentially shorter proofs in fragments of arithmetic (Q4032866):
Displayed 1 item.