Back to Results
First PageMeta Content
Mathematics / 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 Kohlenbach
Add to Reading List

Document Date: 2018-07-25 13:17:42


Open Document

File Size: 434,39 KB

Share Result on Facebook