sort by
approximate search
1shortlisttitle datasearch history  
results search [or] ISN:0000000108555789 | 1 hits
Person
ISNI: 
0000 0001 0855 5789
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: 
cre
Language material
Manuscript language material
Text
Creation role: 
author
contributor
redactor
Related names: 
Brouwer, L. E. J. (1881-1966)
Brouwer, Luitzen Egbertus Jan (1881-1966)
Brouwer, Luitzen Egbertus Jan (1881-1966))
Freudenthal, Hans (1905-)
Gonseth, Ferdinand (1890-1975)
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 : Chaĭka, Varnenski okrŭg, Bulgaria)
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
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
Intuitionistische axiomatiek der projectieve meetkunde
Logic and foundations of mathematics : dedicated to Prof. A. Heyting on his 70th birthday
Logique
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
Summer School and Conference on Mathematical Logic (1988 : Chaĭka, Varnenski okrŭg, Bulgaria). Mathematical logic, c1990:
Untersuchungen über intuitionistischen Algebra
Интуиционизм : Введение
Notes: 
Thesis--Universiteit van Amsterdam
Sources: 
VIAF BNC DNB LC LNB NKC NLI NUKAT SUDOC WKD
BOWKER
NTA
TEL