Arend Heyting

Biography

Selected publications

• Heyting, A. Die formalen Regeln der intuitionistischen Logik. 3 parts, In: Sitzungsberichte der preußischen Akademie der Wissenschaften. phys.-math. Klasse, 1930, 42–56, 57-71, 158-169.
• Heyting, A. Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie. Springer, Berlin.
• Heyting, A. Untersuchungen der intuitionistische Algebra. Verh. Nederl. Akad. Wetensch. Afd. Natuurk. Sect. 1. 18. no. 2, 36 pp.
• Heyting, A. Intuitionism. An introduction. North-Holland Publishing Co., Amsterdam.
• Heyting, A. Axioms for intuitionistic plane affine geometry. The axiomatic method. With special reference to geometry and physics. Proceedings of an International Symposium held at the Univ. of Calif., Berkeley, Dec. 26, 1957–Jan 4, 1958 pp. 160–173 Studies in Logic and the Foundations of Mathematics North-Holland Publishing Co., Amsterdam.
• Heyting, A. After thirty years. 1962 Logic, Methodology and Philosophy of Science pp. 194–197 Stanford Univ. Press, Stanford, Calif.
• Heyting, A. Axiomatic projective geometry. Bibliotheca Mathematica, Vol. V. Interscience Publishers John Wiley & Sons, Inc., New York; P. Noordhoff N.V., Groningen; North-Holland Publishing Co., Amsterdam.
• Heyting, A. Intuitionism: An introduction. Second revised edition North-Holland Publishing Co., Amsterdam.
• Heyting, A. Address to Professor A. Robinson. At the occasion of the Brouwer memorial lecture given by Prof. A.Robinson on the 26th April 1973. Nieuw Arch. Wisk. 21, pp. 134–137.
• Heyting, A. Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie. Reprint. Springer-Verlag, Berlin–New York.
• Heyting, A. Axiomatic projective geometry. Second edition. Bibliotheca Mathematica , V. Wolters-Noordhoff Scientific Publications, Ltd., Groningen; North-Holland Publishing Co., Amsterdam–New York.