Applied proof theory : proof interpretations and their use in mathematics / U. Kohlenbach
Type de document : Livre numériqueCollection : Springer monographs in mathematicsLangue : anglais.Éditeur : Berlin : Springer, 2008ISBN: 9783540775331.ISSN: 1439-7382.Sujet MSC : 03F03, Proof theory and constructive mathematics, Proof theory, general (including proof-theoretic semantics)03F10, Proof theory and constructive mathematics, Functionals in proof theory
03B30, General logic, Foundations of classical theories (including reverse mathematics)
41A10, Approximations and expansions, Approximation by polynomials
41A52, Approximations and expansions, Uniqueness of best approximationEn-ligne : Springerlink | Zentralblatt | MathSciNet
No physical items for this record
There are no comments on this title.