Date: 2008-09-01 05:59:33Mathematics 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, 2008Add to Reading ListSource URL: www.mathematik.tu-darmstadt.deDownload Document from Source Website File Size: 188,67 KBShare Document on Facebook
|