scientific article
From MaRDI portal
Publication:3671969
zbMath0522.03046MaRDI QIDQ3671969
Angus J. Macintyre, Georg Kreisel
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophical and critical aspects of logic and foundations (03A05) Metamathematics of constructive systems (03F50)
Related Items
Some logical metatheorems with applications in functional analysis, Real computation with least discrete advice: a complexity theory of nonuniform computability with applications to effective linear algebra, An application of proof mining to nonlinear iterations, Computational benefit of smoothness: parameterized bit-complexity of numerical operators on analytic functions and Gevrey's hierarchy, A continuous, constructive solution to Hilbert's \(17^{th}\) problem
