Back to Results
First PageMeta Content
Mathematical 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 Kohlenbach
Add to Reading List

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

Open Document

File Size: 290,58 KB

Share Result on Facebook
UPDATE