Back to Results
First PageMeta Content
Proof theory / Logic / Mathematical logic / Mathematics / Computability theory / Primitive recursive functional / Dialectica interpretation / Combinatory logic / Continuous function


On the Computational Content of the Bolzano-Weierstraß Principle∗ Pavol Safarik and Ulrich Kohlenbach Department of Mathematics Technische Universität Darmstadt Schlossgartenstraße 7, 64289 Darmstadt, Germany
Add to Reading List

Document Date: 2009-10-14 11:24:50


Open Document

File Size: 278,33 KB

Share Result on Facebook
UPDATE