Journal article
Definability and forcing in E-recursion.
Authors
Griffor ER
Journal
Mathematica Scandinavica, Vol. 57, , pp. 5–28
Publisher
Det Kgl. Bibliotek/Royal Danish Library
Publication Date
December 1, 1985
DOI
10.7146/math.scand.a-12103
ISSN
0025-5521