Katalog der Deutschen Nationalbibliothek

Neuigkeiten Donnerstag 31. Oktober 2019 (Reformationstag): Die Deutsche Nationalbibliothek in Leipzig ist geschlossen. Die Ausstellungen des Deutschen Buch- und Schriftmuseums im Erweiterungsbau sind von 10 bis 18 Uhr geöffnet. Die Präsentation „Fonts for Freedom“ ist geschlossen. // Thursday 31 October (Reformation Day): The German National Library in Leipzig will be closed. The exhibitions of the German Museum of Books and Writing in the annex will remain opened. The presentation “Fonts for Freedom” will be closed.
 
Neuigkeiten Samstag 26. Oktober 2019: Die Deutsche Nationalbibliothek in Leipzig schließt wegen einer Veranstaltung bereits um 15:30 Uhr. Die Ausstellungen des Deutschen Buch- und Schriftmuseums im Erweiterungsbau sind bis 18:00 Uhr geöffnet, die Präsentation „Fonts for Freedom“ bis 15:30 Uhr. // Saturday 26 October: The German National Library in Leipzig will close due to an event at 15:30. The exhibitions of the German Museum of Books and Writing in the annex shall remain open until 18:00, the presentation “Fonts for Freedom” until 15:30.
 
 

Ergebnis der Suche nach: nid=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.
Gejting, A.
Heijting, Arend
Quelle (WBIS)
Zeit Lebensdaten: 1898-1980
Land Niederlande (XA-NL)
Geografischer Bezug Geburtsort: Amsterdam
Sterbeort: Lugano
Beruf(e) Mathematiker
Logiker
Weitere Angaben Niederländ. Mathematiker; Fachgebiet: intuitionistische Logik
Beziehungen zu Organisationen Koninklijke Nederlandse Akademie van Wetenschappen
Systematik 28p Personen zu Mathematik
Typ Person (piz)
Autor von 5 Publikationen
  1. Mathematische Grundlagenforschung Intuitionismus Beweistheorie
    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