Handbook of Constructive Mathematics

DOI10.1017/9781009039888MaRDI QIDQ5057748zbMATH OpenOpenAlexFDO

Authors

Publication date 19 December 2022

Full work available at URL https://doi.org/10.1017/9781009039888

Mathematics Subject Classification ID

General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations (03-00) Metamathematics of constructive systems (03F50) Constructive and recursive analysis (03F60) Other constructive mathematics (03F65)

Recommendations

• Constructive Mathematics
• scientific article; zbMATH DE number 4070894
• Techniques of constructive analysis
• scientific article; zbMATH DE number 2233169
• Constructive Mathematics in Theory and Programming Practice

Cited in

(15)

• Constructivism in mathematics. An introduction. Volume II
• Handbook of recursive mathematics. Vol. 1: Recursive model theory
• An introduction to constructive mathematics
• scientific article; zbMATH DE number 3977011 (Why is no real title available?)
• Constructive Mathematics
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• Constructivity in computer science. Summer symposium, San Antonio, TX, June 19--22, 1991. Proceedings
• scientific article; zbMATH DE number 2233169 (Why is no real title available?)
• Sufficient convexity and best approximation
• Theory and methodology of time-dependent scheduling: past, present and future
• Computable operators on left-c.e. reals and their continuity properties
• On some of Brouwer's axioms
• Constructive aspects of Riemann's permutation theorem for series
• A journey through constructive inverse semigroups with apartness
• Computably enumerable sets of reals in constructive mathematical analysis

This page was built for publication: Handbook of Constructive Mathematics

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