Primitive recursive real numbers
Author(s)
Chen, Qingliang
Su, Kaile
Zheng, Xizhong
Griffith University Author(s)
Year published
2007
Metadata
Show full item recordJournal Title
Mathematical Logic Quarterly
Volume
53
Issue
4/5
Subject
Pure Mathematics