Heyting arithmetic

#	Item
1	CONSTRUCTIVISM AND PROOF THEORY A.S.Troelstra, ILLC, University van Amsterdam, Plantage Muidergracht 24, 1018 TV Amsterdam, Netherlands Add to Reading List Source URL: staff.science.uva.nl Language: English - Date: 2004-07-23 05:38:06 Mathematics Proof theory Intuitionism Epistemology Philosophy of mathematics Intuitionistic logic Heyting arithmetic Constructivism Realizability Logic Mathematical logic Mathematical constructivism
2	The discovery of E.W. Beth’s semantics for intuitionistic logic A.S. Troelstra and P. van Ulsen Add to Reading List Source URL: www.illc.uva.nl Language: English - Date: 2001-09-06 10:06:20 Mathematical constructivism Intuitionism Epistemology Philosophy of mathematics Boolean algebra Intuitionistic logic Arend Heyting Heyting arithmetic Negation Logic Mathematical logic Mathematics