VIAF

Virtual International Authority File

Search

Heyting, Arend, 1898-1980 German National Library NUKAT Center of Warsaw University Library National Library of the Czech Republic Sudoc [ABES], France National Library of France

Heyting, A. (Arend), 1898- Library of Congress/NACO National Library of Australia National Library of Catalonia National Library of Israel

Arend Heyting Nederlands wiskundige Wikidata ISNI

Heyting, Arend, 1898- National Library of the Netherlands

Heyting, A. (Arend), 1898-1980 National Library of Latvia

Heyting, A. German National Library

VIAF ID: 17289656 (Personal)

Permalink: http://viaf.org/viaf/17289656

ISNI: 0000  0001  0855  5789 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (22)

Open Section Close Section 5xx's: Related Names (3)

  • 551 _ _ ‎‡a  Amsterdam German National Library
  • 510 2 _ ‎‡a  Koninklijke Nederlandse Akademie van Wetenschappen‏ ‎‡e  Affiliation German National Library
  • 551 _ _ ‎‡a  Lugano German National Library

Open Section Close SectionWorks

Title Sources
Axiomatic projective geometry NUKAT Center of Warsaw University Library Library of Congress/NACO National Library of Catalonia National Library of the Netherlands Sudoc [ABES], France
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 NUKAT Center of Warsaw University Library
Collected works NUKAT Center of Warsaw University Library National Library of Catalonia Library of Congress/NACO National Library of the Netherlands Sudoc [ABES], France
Constructivity in mathematics Proceedings of the Colloquium held at Amsterdam 1957 German National Library NUKAT Center of Warsaw University Library National Library of Catalonia Library of Congress/NACO National Library of the Netherlands Sudoc [ABES], France
Les Fondements des mathématiques : intuitionnisme, théorie de la démonstration German National Library NUKAT Center of Warsaw University Library Library of Congress/NACO National Library of the Netherlands Sudoc [ABES], France National Library of Catalonia
Die formalen Regeln der intuitionistischen Logik National Library of the Netherlands
Hedendaagse filosofie : jubileumbundel Genootschap voor Wetenschappelijke Philosophie (1923-1968) National Library of the Netherlands
Introducción al intuicismo National Library of Catalonia
Intuicionizm / A. Gejting. - Moskva, 1965. NUKAT Center of Warsaw University Library
Intuicionizm : vvedenie NUKAT Center of Warsaw University Library National Library of the Netherlands
Intuitionism : An introduction NUKAT Center of Warsaw University Library National Library of France National Library of Catalonia Library of Congress/NACO National Library of the Netherlands Sudoc [ABES], France National Library of Latvia
Logic and foundations of mathematics : dedicated to Prof. A. Heyting on his 70th birthday NUKAT Center of Warsaw University Library Library of Congress/NACO National Library of Catalonia National Library of the Netherlands
Logique Sudoc [ABES], France
Mathematische grundlagenforschung : intuitionismus, beweistheorie German National Library NUKAT Center of Warsaw University Library National Library of France National Library of Israel Library of Congress/NACO National Library of the Netherlands Sudoc [ABES], France National Library of Catalonia
Matrices en determinanten National Library of the Netherlands
De ontwikkeling van de intuitionistische wiskunde National Library of the Netherlands Sudoc [ABES], France
Philosophie mathématique National Library of France
Projectieve meetkunde National Library of the Netherlands Sudoc [ABES], France
Le raisonnement en mathématiques et en sciences expérimentales [actes du Colloque international de logique mathématique] Sudoc [ABES], France
Ruimteleer en axiomatiek National Library of the Netherlands
Science, Croyance, Foi. National Library of Catalonia
Spanningen in de wiskunde National Library of the Netherlands
Summer School and Conference on Mathematical Logic (1988 : Chaĭka, Varnenski okrŭg, Bulgaria). Mathematical logic, c1990: Library of Congress/NACO National Library of Israel
Untersuchungen über intuitionistischen Algebra German National Library National Library of the Netherlands Sudoc [ABES], France
Интуиционизм : Введение National Library of Latvia

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (9)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (10)

Open Section Close Section History of VIAF ID:17289656 (32)