The binary expansion and the intermediate value theorem in constructive reverse mathematics

Josef Berger, Hajime Ishihara, Takayuki Kihara, Takako Nemoto. The binary expansion and the intermediate value theorem in constructive reverse mathematics. Arch. Math. Log., 58(1-2):203-217, 2019. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.