Three theorems on constructive functions

DOI10.1090/TRANS2/100/07MaRDI QIDQ5654028zbMATH OpenOpenAlexFDO

Authors G. S. Tsejtin

Publication date 1972

Published in Fourteen Papers on Logic, Geometry, Topology and Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/trans2/100/07

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03F99) Real functions (26-XX)

This page was built for publication: Three theorems on constructive functions

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