BnF
BnF

Arend Heyting (1898-1980)

Country :
Language :
néerlandais; flamand
Birth :
Death :
Note :
Ecrit aussi en anglais
Mathématicien. - Professeur de mathématiques à l'Université d'Amsterdam, Pays-bas (en 1980)
ISNI :

Occupations

Auteur du texte2 documents

  • Intuitionism

    an introduction

    3rd ed.
    Material description : VIII-145 p.
    Note : Note : Bibliogr. p. 127-141. Index
    Edition : [1980] Amsterdam. - New York. - Oxford North-Holland

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb37358726f]
  • Mathematische Grundlagenforschung, Instuitionismus, Beweistheorie

    [Faks. Ausg.]
    Material description : 73 p.
    Note : Note : Bibliogr. p. 69-73
    Edition : 1974 Berlin. - New York Springer

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb37356296r]
Loading information

Contributeur1 document

Loading information

Documents about this author

Documents about the author Arend Heyting (1898-1980)

Pages in data.bnf.fr

Related authors

This page in data.bnf.fr lab

Sources and references

Sources for the record

  • Intuitionism / A. Heyting, 1980
  • LCNA, 1992

Wikipedia Biography

  • Arend Heyting était un mathématicien et logicien néerlandais. Il était un élève de Luitzen Egbertus Jan Brouwer à l'Université d'Amsterdam, et a beaucoup contribué à ce que la logique intuitionniste fasse partie de la logique mathématique.

Closely matched pages

Last update : 04/07/2014