Skip to main content

Turing computable embeddings

Julia F. Knight‚ Sara Miller and Michael Vanden Boom

Journal
J. Symb. Log.
Number
3
Pages
901−918
Volume
72
Year
2007