Definability and forcing in E-recursion.
Downloads
Published
1985-12-01
How to Cite
Griffor, E. R. (1985). Definability and forcing in E-recursion. MATHEMATICA SCANDINAVICA, 57, 5–28. https://doi.org/10.7146/math.scand.a-12103
Issue
Section
Articles