scientific article; zbMATH DE number 3825797
From MaRDI portal
Publication:3671969
zbMATH Open0522.03046MaRDI QIDQ3671969FDOQ3671969
Authors: Georg Kreisel, Angus Macintyre 
Publication date: 1982
Title of this publication is not available (Why is that?)
Philosophical and critical aspects of logic and foundations (03A05) Metamathematics of constructive systems (03F50)
Cited In (7)
- An application of proof mining to nonlinear iterations
- Real computation with least discrete advice: a complexity theory of nonuniform computability with applications to effective linear algebra
- Presenting intuitive deductions via symmetric simplification
- A continuous, constructive solution to Hilbert's \(17^{th}\) problem
- Computer Science for Continuous Data
- Computational benefit of smoothness: parameterized bit-complexity of numerical operators on analytic functions and Gevrey's hierarchy
- Some logical metatheorems with applications in functional analysis
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3671969)
