http://d-nb.info/gnd/1027693091




Personen
Link zu diesem Datensatz http://d-nb.info/gnd/1027693091
Person Heyting, Arend
Geschlecht männlich
Andere Namen Heyting, A.
Zeit Lebensdaten: 1898-1980
Land Niederlande (XA-NL)
Geografischer Bezug Geburtsort: Amsterdam
Sterbeort: Lugano
Beruf(e) Mathematiker
Logiker
Weitere Angaben Fachgebiet: intuitionistischen Logik
Beziehungen zu Organisationen Königlich-Niederländische Akademie der Wissenschaften
Typ Person (piz)
Autor von 4 Publikationen
  1. Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie
    Heyting, Arend. - Berlin, Heidelberg, New York : Springer, 1974, Reprint, Berlin, Springer, 1934.
  2. Les Fondements des mathématiques
    Heyting, Arend. - Paris : Gauthier-Villars, 1955
  3. ...
Beteiligt an 1 Publikation
  1. Constructivity in mathematics
    Amsterdam : North-Holland Publishing Co., 1959