Back to Results
First PageMeta Content
Mathematics / Mathematical analysis / Mathematical logic / Functions and mappings / Computability theory / Primitive recursive function / Recursion / Theory of computation / First-order logic / Limit of a function / Peano axioms / Spectral theory of ordinary differential equations


Herbrand’s theorem and extractive proof theory U. Kohlenbach Department of Mathematics Technische Universit¨at Darmstadt Schlossgartenstrasse 7, 64289 Darmstadt, Germany September 1, 2008
Add to Reading List

Document Date: 2008-09-01 05:59:33


Open Document

File Size: 188,67 KB

Share Result on Facebook
UPDATE