Katalog der Deutschen Nationalbibliothek

Neuigkeiten Am Montag, 25. Juni, öffnet die Deutsche Nationalbibliothek in Frankfurt am Main wegen einer Personalversammlung erst ab 13 Uhr für die Benutzung. Die Ausstellung des Deutschen Exilarchivs ist von 9 bis 21:30 Uhr geöffnet.
 
Neuigkeiten Am Dienstag, 26. Juni, öffnet die Deutsche Nationalbibliothek in Leipzig wegen einer Personalversammlung erst ab 12 Uhr für die Benutzung. Die Ausstellungen des Deutschen Buch- und Schriftmuseums sind von 10 bis 18 Uhr geöffnet.
 

Helfen Sie uns, noch besser zu werden!
Wir entwickeln unseren Katalog weiter. Dabei sind wir auf Ihre Unterstützung angewiesen. Ihre Rückmeldung hilft uns, Ihre Wünsche bei der Weiterentwicklung unserer Dienste einzubeziehen. Teilen Sie uns mit, was Ihnen an unserem Angebot gefällt, was wir besser machen können und was Sie vermissen.
Senden Sie uns Ihre Anregungen und Kritik über das Kontaktformular.

 

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