Paper doi bibtex

@ARTICLE{BIKN19, author = {Berger, Josef and Ishihara, Hajime and Kihara, Takayuki and Nemoto, Takako}, title = {The binary expansion and the intermediate value theorem in constructive reverse mathematics}, journal = {Archive for Mathematical Logic}, year = {2019}, volume = {58}, pages = {203--217}, number = {1-2}, __markedentry = {[Vasco:6]}, doi = {10.1007/s00153-018-0627-2}, issn = {0933-5846}, keywords = {bib,con}, mrclass = {03F65 (03B30)}, mrnumber = {3902812}, owner = {Vasco}, timestamp = {2019.02.07}, url = {https://doi.org/10.1007/s00153-018-0627-2} }

Downloads: 0