References for Arend Heyting

Version for printing
  1. A S Troelstra, Biography in Dictionary of Scientific Biography (New York 1970-1990).
    http://www.encyclopedia.com/doc/1G2-2830905160.html
  2. Obituary in The Times [See THIS LINK]

Articles:

  1. J Alcolea Banegas, Arend Heyting (Spanish), Mathesis (México) 4 (2) (1988), 189-220.
  2. M Franchella, Heyting's contribution to the change in research into the foundations of mathematics, Hist. Philos. Logic 15 (2) (1994), 149-172.
  3. Arend Heyting (Dutch), Nederl. Akad. Wetensch. Verslag Afd. Natuurk. 89 (7) (1980), 78-79.
  4. B A Kushner, Arend Heyting : a short sketch of his life and work (Russian), Methodological analysis of the foundations of mathematics 'Nauka' (Moscow, 1988), 121-135.
  5. Letters from A N Kolmogorov to A Heyting (Russian), Uspekhi Mat. Nauk 43 (6)(264) (1988), 75-77
  6. Letters from A N Kolmogorov to A Heyting, Russian Math. Surveys 43 (6) (1988), 89-93.
  7. N H Niekus, H van Riemsdijk and A S Troelstra, Bibliography of A Heyting, Nieuw Arch. Wisk. (3) 29 (1) (1981), 24-35.
  8. A S Troelstra, Arend Heyting and his Contribution to Intuitionism, Nieuw archief voor wiskunde 29 (1981), 1-23.
  9. A S Troelstra, The scientific work of A Heyting, Compositio Math. 20 (1968), 3-12.
  10. D van Dalen, Heyting and intuitionistic geometry, in Mathematical logic (New York, 1990), 19-27.

JOC/EFR October 2003

The URL of this page is:
http://www-history.mcs.st-andrews.ac.uk/References/Heyting.html