Back to Results
First PageMeta Content
Proof theory / Constructivism / Intuitionism / Metalogic / Predicate logic / Primitive recursive functional / Realizability / Substitution / First-order logic / Interpretation / Propositional calculus / Quantifier


G¨odel’s functional interpretation and its use in current mathematics Ulrich Kohlenbach Fachbereich Mathematik Technische Universit¨ at Darmstadt
Add to Reading List

Document Date: 2009-02-16 11:06:50


Open Document

File Size: 290,58 KB

Share Result on Facebook