Back to Results
First PageMeta Content
Logic / Proof theory / Mathematical logic / Mathematics / Proof mining / Mathematical proof / Consistency / Constructive proof / Formal proof / Intuitionistic logic / Approximation / Type theory


Applied Foundations: Proof Mining in Mathematics Ulrich Kohlenbach BRICSāˆ— Department of Computer Science University of Aarhus Ny Munkegade
Add to Reading List

Document Date: 2012-11-12 10:34:06


Open Document

File Size: 58,91 KB

Share Result on Facebook
UPDATE