Switch to: Citations

References in:

Primitive recursive real numbers

Qingliang Chen, Kaile Su & Xizhong Zheng

Mathematical Logic Quarterly 53 (4‐5):365-380 (2007)

Add references

You must login to add references.

Nicht konstruktiv beweisbare sätze der analysis.Ernst Specker - 1949 - Journal of Symbolic Logic 14 (3):145-158.details European Philosophy Logic and Philosophy of Logic Paradoxes in Logic and Philosophy of Logic Direct download (9 more) Export citation Bookmark 37 citations
Rekursive Funktionen.Raphael M. Robinson & Rozsa Peter - 1951 - Journal of Symbolic Logic 16 (4):280.details Logic and Philosophy of Logic Direct download (3 more) Export citation Bookmark 21 citations
Criteria of constructibility for real numbers.John Myhill - 1953 - Journal of Symbolic Logic 18 (1):7-10.details Logic and Philosophy of Logic Logic and Philosophy of Logic, Miscellaneous in Logic and Philosophy of Logic Direct download (7 more) Export citation Bookmark 4 citations
Recursive real numbers.A. H. Lachlan - 1963 - Journal of Symbolic Logic 28 (1):1-16.details Logic and Philosophy of Logic Direct download (8 more) Export citation Bookmark 2 citations
The recursive irrationality of π.R. L. Goodstein - 1954 - Journal of Symbolic Logic 19 (4):267-274.details Logic and Philosophy of Logic Logic and Philosophy of Logic, Miscellaneous in Logic and Philosophy of Logic Direct download (7 more) Export citation Bookmark 1 citation

1