@article{Brattka_2011,
    doi = {10.2178/bsl/1294186663},
    url = {https://doi.org/10.2178%2Fbsl%2F1294186663},
    year = {2011},
    month = {mar},
    publisher = {Cambridge University Press ({CUP})},
    volume = {17},
    number = {1},
    pages = {73--117},
    author = {Vasco Brattka and Guido Gherardi},
    title = {Effective Choice and Boundedness Principles in Computable Analysis},
    journal = {The Bulletin of Symbolic Logic}
}

@article{Brattka_2011, doi = {10.2178/bsl/1294186663}, url = {https://doi.org/10.2178%2Fbsl%2F1294186663}, year = {2011}, month = {mar}, publisher = {Cambridge University Press ({CUP})}, volume = {17}, number = {1}, pages = {73--117}, author = {Vasco Brattka and Guido Gherardi}, title = {Effective Choice and Boundedness Principles in Computable Analysis}, journal = {The Bulletin of Symbolic Logic} }