Heyting, Arend, 1898-1980
Heyting, A. (Arend), 1898-
Heyting, A. (Arend), 1898-1980
Heyting, Arend
Heyting, A 1898-1980
Heyting, A.
Arend Heyting Nederlands wiskundige
Heyting, A. (Arend)
VIAF ID: 17289656 ( Personal )
Permalink: http://viaf.org/viaf/17289656
Preferred Forms
- 100 0 _ ‡a Arend Heyting ‡c Nederlands wiskundige
-
-
- 100 1 _ ‡a Heyting, A ‡d 1898-1980
-
- 100 1 _ ‡a Heyting, A. ‡q (Arend)
-
-
-
- 100 1 _ ‡a Heyting, A. ‡q (Arend), ‡d 1898-1980
-
-
-
-
-
- 100 1 _ ‡a Heyting, Arend ‡d 1898-1980
-
-
- 100 1 _ ‡a Heyting, Arend, ‡d 1898-1980
4xx's: Alternate Name Forms (35)
5xx's: Related Names (7)
- 551 _ _ ‡a Amsterdam ‡4 ortg ‡4 http://d-nb.info/standards/elementset/gnd#placeOfBirth
- 510 2 _ ‡a Koninklijke Nederlandse Akademie van Wetenschappen
- 510 2 _ ‡a Koninklijke Nederlandse Akademie van Wetenschappen ‡4 affi ‡4 http://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 551 _ _ ‡a Lugano ‡4 orts ‡4 http://d-nb.info/standards/elementset/gnd#placeOfDeath
- 510 2 _ ‡a North-Holland Publishing Company
- 510 2 _ ‡a Summer School and Conference on Mathematical Logic (1988 : Chaika)
- 510 2 _ ‡a Universiteit van Amsterdam
Works
Title | Sources |
---|---|
Axiomatic projective geometry | |
Bilderdijks plaats in de nederlandse en in de wereldliteratuur : 3 beschouwingen en een open brief | |
Chapters in the recent history of mathematics : special issue of Nieuw Archief voor Wiskunde on the occasion of the bicentennial celebration of the Wiskundig Genootschap 1778-1978 | |
Collected papers by A. Heyting. | |
Collected works | |
Constructivity in mathematics Proceedings of the Colloquium held at Amsterdam 1957 | |
Hedendaagse filosofie : jubileumbundel Genootschap voor Wetenschappelijke Philosophie (1923-1968) | |
Inleiding tot de intuitionistische wiskunde : college van Arend Heyting (cursus 1952-1953). | |
Introducción al intuicismo | |
Intuicionizm : vvedenie | |
Intuitionism | |
Logic and foundations of mathematics : dedicated to Prof. A[rend] Heyting on his 70th birthday | |
Logique | |
Mathematische grundlagenforschung ... 1934. | |
Matrices en determinanten | |
Obzor issledovanij po osnovaniâm matematiki : intuicionizm - teoriâ dokazatelʹstva | |
Philosophie mathématique | |
Projectieve meetkunde | |
Le raisonnement en mathématiques et en sciences expérimentales : [actes du Colloque international de logique mathématique] | |
Het rondeel : De roos der lyriek | |
Ruimteleer en axiomatiek | |
Science, Croyance, Foi. | |
Spanningen in de wiskunde | |
Summer School and Conference on Mathematical Logic (1988 : Chaĭka, Varnenski okrŭg, Bulgaria). Mathematical logic, c1990: | |
Untersuchungen uber intuitiontische algebra : Eerste sectie, Deel XVIII, N°2 | |
Интуиционизм : Введение |