Login / Signup

Primitive recursive real numbers.

Qingliang ChenKaile SuXizhong Zheng
Published in: Math. Log. Q. (2007)
Keyphrases