A. Heyting

发表

Die Theorie der linearen Gleichungen in einer Zahlenspezies mit nichtkommutativer Multiplikation

A. Heyting, A. Heyting, 1928 .

Zur intuitionistischen Axiomatik der projektiven Geometrie

A. Heyting, 1928 .