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 Catalonia National Library of Australia National Library of Israel Library of Congress/NACO

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

Heyting, A. German National Library ISNI-test

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

Heyting, Arend Wikipedia (en)

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 (10)

Open Section Close SectionWorks

Title Sources
Axiomatic projective geometry National Library of the Netherlands-test Sudoc [ABES], France Library of Congress/NACO xR Extended Titles-test NUKAT Center of Warsaw University Library National Library of Catalonia
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 National Library of Catalonia Sudoc [ABES], France Library of Congress/NACO National Library of the Netherlands-test NUKAT Center of Warsaw University Library
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-test 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 National Library of the Netherlands-test NUKAT Center of Warsaw University Library
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 National Library of the Netherlands-test NUKAT Center of Warsaw University Library
Intuitionism an introduction National Library of the Netherlands-test Library of Congress/NACO Sudoc [ABES], France National Library of Catalonia 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 the Netherlands-test Library of Congress/NACO xR Extended Titles-test NUKAT Center of Warsaw University Library National Library of Catalonia
Logique Sudoc [ABES], France
Mathematische Grundlagenforschung Intuitionismus Beweistheorie NUKAT Center of Warsaw University Library National Library of Catalonia National Library of Israel National Library of the Netherlands-test Library of Congress/NACO German National Library xR Extended Titles-test Sudoc [ABES], France 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 About

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