An introduction to constructive mathematics

MaRDI QIDQ3509880zbMATH OpenFDO

Authors

Publication date 25 June 2008

zbMATH Keywords

computabilityDiscrete analysis

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Numerical analysis in abstract spaces (65J99)

Recommendations

• scientific article; zbMATH DE number 1301805
• Constructive Mathematics
• scientific article; zbMATH DE number 4070894
• Essays in Constructive Mathematics
• Handbook of Constructive Mathematics

Cited in

(6)

• Constructive mathematics: a foundation for computable analysis
• scientific article; zbMATH DE number 5994605 (Why is no real title available?)
• Constructive analysis and thermodynamics formulations
• scientific article; zbMATH DE number 1301805 (Why is no real title available?)
• Essays in Constructive Mathematics
• scientific article; zbMATH DE number 6154336 (Why is no real title available?)

This page was built for publication: An introduction to constructive mathematics

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