Sign in

Connections between Identifying Functionals, standardizing Operations, and Computable Numberings.

Rusins FreivaldsEfim B. KinberRolf Wiehagen
Published in: Math. Log. Q. (1984)
Keyphrases