Proof and computation
From MaRDI portal
Publication:6600645
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)
