Friedberg numberings of families of partial computable functionals

From MaRDI portal
Publication:2003244