Arend Heyting

mini| Arend Heyting, eigentlich Heijting, (* 9. Mai 1898 in Amsterdam; † 9. Juli 1980 in Lugano) war ein niederländischer Mathematiker und Logiker. Er war Schüler von L. E. J. Brouwer und befasste sich mit der intuitionistischen Logik, für die er 1930 das erste formalisierte Axiomensystem angab. Veröffentlicht in Wikipedia
Treffer 1 – 8 von 8 für Suche 'Heyting, Arend 1898-1980', Suchdauer: 0,05s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Mathematische Grundlagenforschung Intuitionismus Beweistheorie

    Mathematische Grundlagenforschung Intuitionismus Beweistheorie von Heyting, Arend 1898-1980

    Veröffentlicht 1974
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Les fondements des intuitionnisme, théorie de la démonstration

    Les fondements des intuitionnisme, théorie de la démonstration von Heyting, Arend 1898-1980

    Veröffentlicht 1955
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Ein Streitgespräch

    Ein Streitgespräch von Heyting, Arend 1898-1980

    Veröffentlicht 1967
    Artikel Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Axiomatic projective geometry

    Axiomatic projective geometry von Heyting, Arend 1898-1980

    Veröffentlicht 1963
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Collected works

    Collected works von Brouwer, Luitzen E. J. 1881-1966

    Veröffentlicht 1980
    Weitere Verfasser: “… Heyting, Arend 1898-1980 …”
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Collected works

    Collected works von Brouwer, Luitzen E. J. 1881-1966

    Veröffentlicht 1976
    Weitere Verfasser: “… Heyting, Arend 1898-1980 …”
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Collected works

    Collected works von Brouwer, Luitzen E. J. 1881-1966

    Veröffentlicht 1975
    Weitere Verfasser: “… Heyting, Arend 1898-1980 …”
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Collected works

    Collected works von Brouwer, Luitzen E. J. 1881-1966

    Weitere Verfasser: “… Heyting, Arend 1898-1980 …”
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: