Pages that link to "Item:Q3807195"
From MaRDI portal
The following pages link to A recursion-theoretic characterization of instances of $ΒΣ_n$ provable in $П_{n+1}(N)$ (Q3807195):
Displaying 2 items.
The following pages link to A recursion-theoretic characterization of instances of $ΒΣ_n$ provable in $П_{n+1}(N)$ (Q3807195):
Displaying 2 items.