Strictly Primitive Recursive Realizability, II. Completeness with Respect to Iterated Reflection and a Primitive Recursive $\omega$-Rule
Details
The content you want is available to Zendy users.Already have an account? Click here. to sign in.
Details