Back to Results
First PageMeta Content
Logic / Constructivism / Mathematical logic / Proof theory / Abstraction / Predicate logic / Dependently typed programming / Intuitionism / Realizability / BrouwerHeytingKolmogorov interpretation / Intuitionistic logic / Quantifier


Proof Interpretations with Truth∗ Jaime Gaspar† Paulo Oliva‡ 12 August 2009
Add to Reading List

Document Date: 2011-05-03 06:44:12

Open Document

File Size: 212,39 KB

Share Result on Facebook