50167134

j

50167134 Knight, Julia F. Miller, Sara Boom, M. Vanden Turing computable embeddings J. Symb. Log. 72, No. 3, 901-918 (2007). 2007 EN

http://projecteuclid.org/euclid.jsl/1191333847