Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] ISN:0000000108555789 | 1 hits
Person
ISNI: 
0000 0001 0855 5789
Name: 
Gejting, A.
Heyting, A.
Heyting, Arend
Гейтинг, А
Dates: 
1898-1980
Creation class: 
cre
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))
Dalen, D. van (1932-)
Dalen, Dirk (1932-)
Freudenthal, Hans (1905-1990))
Gonseth, Ferdinand (1890-1975))
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
Collected works.
Constructivity in mathematics : proceedings of the colloquium held at Amsterdam, 1957
Fondements des mathématiques : intuitionnisme : théorie de la démonstration
Intuitionism : An introduction
Intuitionistische axiomatiek der projectieve meetkunde
Logic and foundations of mathematics : dedicated to Prof. A. Heyting on his 70th birthday.
Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie
Projectieve meetkunde
Notes: 
Thesis--Universiteit van Amsterdam
Sources: 
VIAF BNC LC LNB NLI NTA NUKAT SUDOC WKP
TEL