Relationship between the classical and construvtive developments of mathematical analysis

DOI10.1007/BF01084071MaRDI QIDQ1245940zbMATH OpenOpenAlexFDO

Authors Michael Gelfond

Publication date 1976

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

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

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03F99)

Cites work

• Investigation of constructive functions by the method of fillings

This page was built for publication: Relationship between the classical and construvtive developments of mathematical analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1245940)