Effective choice and boundedness principles in computable analysis

Vasco Brattka, Guido Gherardi. Effective choice and boundedness principles in computable analysis. Bulletin of Symbolic Logic, 17(1):73-117, 2011. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.