Pages that link to "Item:Q3636805"
From MaRDI portal
The following pages link to The Omega Rule is $\mathbf{\Pi_{1}^{1}}$-Complete in the $\lambda\beta$-Calculus (Q3636805):
Displaying 3 items.
The following pages link to The Omega Rule is $\mathbf{\Pi_{1}^{1}}$-Complete in the $\lambda\beta$-Calculus (Q3636805):
Displaying 3 items.