![Mathematical logic / Logic / Proof theory / Computability theory / Mathematics / Constructivism / Primitive recursive functional / First-order logic / Symbol / Primitive recursive function / Primitive recursive arithmetic / Realizability Mathematical logic / Logic / Proof theory / Computability theory / Mathematics / Constructivism / Primitive recursive functional / First-order logic / Symbol / Primitive recursive function / Primitive recursive arithmetic / Realizability](https://www.pdfsearch.io/img/b855f5ef67f554322921c548909e6304.jpg) Date: 2012-11-16 09:12:20Mathematical logic Logic Proof theory Computability theory Mathematics Constructivism Primitive recursive functional First-order logic Symbol Primitive recursive function Primitive recursive arithmetic Realizability | | BRICS Basic Research in Computer Science BRICS RSU. Kohlenbach: On the No-Counterexample Interpretation On the No-Counterexample InterpretationAdd to Reading ListSource URL: www.mathematik.tu-darmstadt.deDownload Document from Source Website File Size: 273,05 KBShare Document on Facebook
|