First Page | Document Content | |
---|---|---|
Date: 2018-07-25 13:17:42Mathematics Structure Abstraction Computability theory Metric geometry Topology Proof theory Primitive recursive function Theory of computation Mathematical logic Metric space Proof mining | Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–82) PROOF-THEORETIC METHODS IN NONLINEAR ANALYSIS Ulrich KohlenbachAdd to Reading ListSource URL: eta.impa.brDownload Document from Source WebsiteFile Size: 434,39 KBShare Document on Facebook |