Another constructive version of the Cauchy theorem

DOI10.1007/BF01117464zbMath0252.02035OpenAlexW2022173360MaRDI QIDQ2557254

G. S. Tsejtin, I. D. Zaslavskiĭ

Publication date: 1973

Published in: Journal of Soviet Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01117464

Mathematics Subject Classification ID

Foundations: limits and generalizations, elementary topology of the line (26A03) Proof theory and constructive mathematics (03F99)

This page was built for publication: Another constructive version of the Cauchy theorem