Proof and computation
From MaRDI portal
Publication:6600645
DOI10.1142/9789813270947_0001zbMATH Open1544.03032MaRDI QIDQ6600645FDOQ6600645
Authors: Klaus Mainzer 
Publication date: 9 September 2024
Computation over the reals, computable analysis (03D78) Foundations of classical theories (including reverse mathematics) (03B30) Recursively (computably) enumerable sets and degrees (03D25) Metamathematics of constructive systems (03F50) Higher-type and set recursion theory (03D65) Turing machines and related notions (03D10)
This page was built for publication: Proof and computation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6600645)
