Katalog der Deutschen Nationalbibliothek

 

Ergebnis der Suche nach: idn=1027693091



Treffer 1 von 1 < < > <



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 5 Publikationen
  1. Mathematische Grundlagenforschung Intuitionismus Beweistheorie [Elektronische Ressource]
    Heyting, Arend. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1974
  2. Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie
    Heyting, Arend. - Berlin, Heidelberg, New York : Springer, 1974, Reprint, Berlin, Springer, 1934.
  3. ...
Beteiligt an 1 Publikation
  1. Constructivity in mathematics
    Amsterdam : North-Holland Publishing Co., 1959





Treffer 1 von 1
< < > <


E-Mail-IconAdministration