Konstruktive Darstellungen Reeller Zahlen und Folgen

DOI10.1002/MALQ.19780241912zbMath0475.03034OpenAlexW2070589596MaRDI QIDQ3931385

Jürgen Hauck

Publication date: 1978

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19780241912

zbMATH Keywords

computable real numberscomputable real sequencesconstructive representation of real numbers

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60)

Related Items (1)

How much partiality is needed for a theory of computability?

This page was built for publication: Konstruktive Darstellungen Reeller Zahlen und Folgen