Assertion: computable real number | /r/HasProperty | bridges
Facets:
Source sentences:
text: For example, the least upper bound of a bounded increasing computable sequence of computable real numbers need not be a computable real number (Bridges and Richman, 1987:58).