First Page | Document Content | |
---|---|---|
Date: 2009-02-16 11:06:50Mathematical constructivism Model theory Predicate logic Formal languages Interpretation Realizability First-order logic Gödel–Gentzen negative translation Prenex normal form Logic Mathematical logic Proof theory | G¨odel’s functional interpretation and its use in current mathematics Ulrich KohlenbachAdd to Reading ListSource URL: www.mathematik.tu-darmstadt.deDownload Document from Source WebsiteFile Size: 290,58 KBShare Document on Facebook |