BrouwerHeytingKolmogorov interpretation

#	Item
1	Proof Interpretations with Truth∗ Jaime Gaspar† Paulo Oliva‡ 12 August 2009 Add to Reading List Source URL: jg.sdf.org Language: English - Date: 2011-05-03 06:44:12 Logic Constructivism Mathematical logic Proof theory Abstraction Predicate logic Dependently typed programming Intuitionism Realizability BrouwerHeytingKolmogorov interpretation Intuitionistic logic Quantifier
2	Intuitionistic Mathematics and Realizability in the Physical World Andrej Bauer University of Ljubljana January 18, 2012 Abstract Add to Reading List Source URL: math.andrej.com Language: English - Date: 2014-03-04 10:52:34 Constructivism Logic Mathematics Abstraction Realizability Intuitionistic logic Infinitesimal Interpretation BrouwerHeytingKolmogorov interpretation Intuitionism Calculus Negation