VIAF

Virtual International Authority File

Search

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

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

Heyting, Arend, 1898- National Library of the Netherlands

Heyting, A. ISNI German National Library

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: 0000  0001  0855  5789 

Open Section Close Section Preferred Forms

 

 

 

 

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

Open Section Close SectionWorks

Title Sources
Axiomatic projective geometry National Library of the Netherlands NUKAT Center of Warsaw University Library Sudoc [ABES], France National Library of Catalonia Library of Congress/NACO
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 Library of Congress/NACO National Library of the Netherlands Sudoc [ABES], France National Library of Catalonia
Constructivity in mathematics : proceedings of the colloquium held at Amsterdam, 1957 NUKAT Center of Warsaw University Library Library of Congress/NACO German National Library National Library of the Netherlands Sudoc [ABES], France National Library of Catalonia
Les fondements des mathématiques : intuitionnisme : théorie de la démonstration Library of Congress/NACO German National Library Sudoc [ABES], France National Library of Catalonia NUKAT Center of Warsaw University Library National Library of the Netherlands
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 : vvedenie National Library of the Netherlands NUKAT Center of Warsaw University Library
Intuitionism : an introduction Library of Congress/NACO Sudoc [ABES], France National Library of Catalonia NUKAT Center of Warsaw University Library National Library of the Netherlands National Library of France National Library of Latvia
Logic and foundations of mathematics : dedicated to Prof. A[rend] Heyting on his 70th birthday National Library of the Netherlands National Library of Catalonia NUKAT Center of Warsaw University Library Library of Congress/NACO
Logique Sudoc [ABES], France
Mathematische Grundlagenforschung : Intuitionismus, Beweistheorie Library of Congress/NACO German National Library National Library of Israel Sudoc [ABES], France National Library of Catalonia NUKAT Center of Warsaw University Library National Library of the Netherlands National Library of France
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: National Library of Israel Library of Congress/NACO
Untersuchungen über intuitionistischen Algebra National Library of the Netherlands 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 (32)