The binary expansion and the intermediate value theorem in constructive reverse mathematics
Crossref DOI link: https://doi.org/10.1007/s00153-018-0627-2
Published Online: 2018-05-10
Published Print: 2019-02
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Berger, Josef
Ishihara, Hajime
Kihara, Takayuki
Nemoto, Takako
Text and Data Mining valid from 2018-05-10
Article History
Received: 18 December 2017
Accepted: 2 May 2018
First Online: 10 May 2018