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

Document Date: 2012-11-16 09:12:20

Open Document

File Size: 273,05 KB

Share Result on Facebook