Arend Heyting

#	Item
1	On the topological interpretations of provability logic Lev Beklemishev Steklov Mathematical Institute, Moscow The Arend Heyting Day Add to Reading List Source URL: phil.uu.nl Language: English - Date: 2015-03-04 09:53:23
2	A bibliography of L.E.J. Brouwer Dirk van Dalen [updated November, 2008] Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-11-07 07:54:07 Logic Dutch people Gerrit Mannoury Luitzen Egbertus Jan Brouwer Korteweg Zentralblatt MATH Royal Netherlands Academy of Arts and Sciences Dirk van Dalen Arend Heyting Intuitionism Mathematics Philosophers of mathematics
3	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
4	PDF Document Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-04-15 09:47:38 Epistemology Number theorists Gustav Doetsch Compositio Mathematica Differential geometers Luitzen Egbertus Jan Brouwer Arend Heyting Ludwig Bieberbach Law of excluded middle Mathematics Academia Intuitionism