ISNI: |
0000 0001 0855 5789
https://isni.org/isni/0000000108555789
|
Name: |
Arend Heyting (Dutch mathematician and logician)
Arend Heyting (matematico e logico olandese)
Arend Heyting (Nederlands wiskundige)
Arend Heyting (nederlandsk matematikar)
Arend Heyting (nederländsk matematiker)
Arend Heyting (niederländischer Mathematiker)
Gejting, A.
Heyting, A.
Heyting, Arend
Аренд Гейтинг
Аренд Гейтінг
Аренд Хејтинг
Гейтинг, А
آرند هیتینگ (ریاضیدان هلندی)
아런트 헤이팅
アレン・ハイティング
阿蘭德·海廷
|
Dates: |
1898-1980 |
Creation class: |
Language material
Manuscript language material
|
Creation role: |
author
collaborator
contributor
creator
editor
redactor
|
Related names: |
Beth, Evert Willem (co-author)
Brouwer, L. E. J. (1881-1966)
Brouwer, Luitzen Egbertus Jan (1881-1966)
Brouwer, Luitzen Egbertus Jan (1881-1966))
Brouwer, Luitzen Egbertus Jan (co-author)
Destouches-Février, Paulette (co-author)
Freudenthal, Hans (1905-)
Gonseth, Ferdinand (1890-1975)
Gonseth, Ferdinand (co-author)
Koninklijke Nederlandse Akademie van Wetenschappen Affiliation (see also from)
Kotarbiński, Tadeusz (1886-1981))
North-Holland Publishing Company
Petkov, Petio Petrov
Summer School and Conference on Mathematical Logic (1988 : Chaika)
Universiteit van Amsterdam
|
Titles: |
Axiomatic projective geometry
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 works
Constructivity in mathematics, proceedings of the colloquium held at Amsterdam, 1957. Edited by A. Heyting,...
Fondements des mathématiques, Les : intuitionnisme, théorie de la démonstration
formalen Regeln der intuitionistischen Logik, Die
Hedendaagse filosofie : jubileumbundel Genootschap voor Wetenschappelijke Philosophie (1923-1968)
Introducción al intuicismo
Intuicionizm : vvedenie
Intuitionism, an introduction. A. Heyting...
Intuitionistische Axiomatiek der projectieve meetkunde... door Arend Heyting,...
Les Fondements des mathématiques, intuitionnisme, théorie de la démonstration
Logic and foundations of mathematics : dedicated to Prof. A. Heyting on his 70th birthday
Logique
Mathematische Grundlagenforschung, Instuitionismus, Beweistheorie
Mathematische grundlagenforschung : intuitionismus, beweistheorie
Matrices en determinanten
ontwikkeling van de intuitionistische wiskunde, De
Philosophie mathématique
Projectieve meetkunde
raisonnement en mathématiques et en sciences expérimentales [actes du Colloque international de logique mathématique], Le
Ruimteleer en axiomatiek
Science, Croyance, Foi.
Spanningen in de wiskunde
Studies in logic and the foundations of mathematics
Summer School and Conference on Mathematical Logic (1988 : Chaĭka, Varnenski okrŭg, Bulgaria). Mathematical logic, c1990:
Untersuchungen über intuitionistischen Algebra
Интуиционизм : Введение
|
Notes: |
(Arend)
Author's Mathematische grundlagenforschung ... 1934
Summer School and Conference on Mathematical Logic (1988 : Chaĭka, Varnenski okrŭg, Bulgaria). Mathematical logic, c1990 CIP t.p. verso (Arend Heyting, 1898-1980)
Thesis--Universiteit van Amsterdam
Wikipedia https://ja.wikipedia.org/wiki/アレン・ハイティング
Wikipedia https://ko.wikipedia.org/wiki/아런트_헤이팅
Wikipedia https://zh.wikipedia.org/wiki/阿蘭德·海廷
|
Sources: |
NLN
NTA
|