A constructivist theory of plane curves
From MaRDI portal
Publication:3231168
DOI10.4064/fm-43-1-23-35zbMath0070.01002MaRDI QIDQ3231168
Publication date: 1956
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/213396
03Fxx: Proof theory and constructive mathematics
Related Items
On a finitary version of mathematical analysis, On an approximative version of the notion of constructive analytic function