Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] (ISNI Number (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))
Church, Alonzo (1903-1995)
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)
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 papers
Collected works
Constructivity in mathematics Proceedings of the Colloquium held at Amsterdam 1957
Fondements des mathématiques Intuitionnisme, théorie de la démonstration, Les
formalen Regeln der intuitionistischen Logik, Die
Hedendaagse filosofie : jubileumbundel Genootschap voor Wetenschappelijke Philosophie (1923-1968)
History of the foundation of mathematics
Inleiding tot de intuitionistische wiskunde : college van A. Heyting
Introducción al intuicionismo
Introducción al intuicismo
Intuicionizm : vvedenie
Intuitionism an introduction
Intuitionistische axiomatiek der projectieve meetkunde
intuitionistische Grundlegung der Mathematik, Die
Logic and foundations of mathematics : dedicated to Prof. A. Heyting on his 70th birthday.
Mathematical logic
Mathematische grundlagenforschung ... 1934.
Mathematische Grundlagenforschung, Instuitionismus, Beweistheorie
Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie. -
Matrices en determinanten
ontwikkeling van de intuitionistische wiskunde, De
Philosophie mathématique
Philosophy and foundations of mathematics
Projectieve meetkunde
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 intuitionistische Algebra
Интуиционизм : Введение
Notes: 
Sources: 
VIAF BNC BNF LC LNB NLI NTA NUKAT SUDOC WKP
TEL