A. Heyting

发表

Die intuitionistische Grundlegung der Mathematik

A. Heyting, 1931 .

Die formalen Regeln der intuitionistischen Logik

A. Heyting, 1930 .

Mathematische Grundlagenforschung : Intuitionismus, Beweistheorie

A. Heyting, 1935 .

Die Theorie der linearen Gleichungen in einer Zahlenspezies mit nichtkommutativer Multiplikation

A. Heyting, A. Heyting, 1928 .