August Heyting (1879–1949) — 1 public-domain works