Die Theorie der linearen Gleichungen in einer Zahlenspezies mit nichtkommutativer Multiplikation A. Heyting — 1928 Mathematische Annalen
Bemerkungen zu dem Aufsatz von Herrn Freudenthal “Zur intuitionistischen Deutung logischer Formeln” A. Heyting — 1937 Compositio Mathematica
Méthode et problèmes de l'intuitionnisme A. Heyting — 1962 Annales scientifiques de l'Université de Clermont. Mathématiques