VIAF

Virtual International Authority File

Search

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

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

Heyting, Arend, 1898- National Library of the Netherlands-test

Heyting, A. German National Library ISNI-test

Arend Heyting Nederlands wiskundige Wikidata

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

VIAF ID: 17289656 (Personal)

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

ISNI-test: 0000  0001  0855  5789 

Open Section Close Section Preferred Forms

 

 

 

 

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

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

Open Section Close SectionWorks

Title Sources
Axiomatic projective geometry National Library of Catalonia Sudoc [ABES], France National Library of the Netherlands-test Library of Congress/NACO xR Extended Titles-test NUKAT Center of Warsaw University Library
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 the Netherlands-test Library of Congress/NACO National Library of Catalonia Sudoc [ABES], France
Constructivity in mathematics Proceedings of the Colloquium held at Amsterdam 1957 National Library of the Netherlands-test Library of Congress/NACO German National Library NUKAT Center of Warsaw University Library Sudoc [ABES], France National Library of Catalonia
˜Lesœ Fondements des mathématiques Intuitionnisme, théorie de la démonstration National Library of the Netherlands-test Library of Congress/NACO German National Library Sudoc [ABES], France NUKAT Center of Warsaw University Library National Library of Catalonia
Die formalen Regeln der intuitionistischen Logik National Library of the Netherlands-test
Hedendaagse filosofie : jubileumbundel Genootschap voor Wetenschappelijke Philosophie (1923-1968) National Library of the Netherlands-test
Introducción al intuicismo National Library of Catalonia
Intuicionizm : vvedenie NUKAT Center of Warsaw University Library National Library of the Netherlands-test
Intuitionism an introduction Library of Congress/NACO Sudoc [ABES], France National Library of Catalonia National Library of the Netherlands-test xR Extended Titles-test NUKAT Center of Warsaw University Library National Library of France National Library of Latvia
Logic and foundations of mathematics National Library of Catalonia National Library of the Netherlands-test Library of Congress/NACO xR Extended Titles-test NUKAT Center of Warsaw University Library
Logique Sudoc [ABES], France
Mathematische Grundlagenforschung Intuitionismus Beweistheorie NUKAT Center of Warsaw University Library National Library of the Netherlands-test National Library of Israel Library of Congress/NACO German National Library xR Extended Titles-test Sudoc [ABES], France National Library of Catalonia National Library of France
Matrices en determinanten National Library of the Netherlands-test
De ontwikkeling van de intuitionistische wiskunde National Library of the Netherlands-test Sudoc [ABES], France
Philosophie mathématique National Library of France
Projectieve meetkunde National Library of the Netherlands-test 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-test
Science, Croyance, Foi. National Library of Catalonia
Spanningen in de wiskunde National Library of the Netherlands-test
Summer School and Conference on Mathematical Logic (1988 : Chaĭka, Varnenski okrŭg, Bulgaria). Mathematical logic, c1990: National Library of Israel Library of Congress/NACO
Untersuchungen über intuitionistischen Algebra National Library of the Netherlands-test Sudoc [ABES], France German National Library
Интуиционизм : Введение 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 (31)