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 - 20 von 57 für Suche 'Heyting, Arend', Suchdauer: 0,33s Treffer weiter einschränken
  1. 1
    von Heyting, Arend
    Veröffentlicht 1966
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Intuitionism : an introduction
    von Heyting, Arend
    Veröffentlicht 1980
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Katalogkarte der UB Frankfurt
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Axiomatic projective geometry
    von Heyting, Arend
    Veröffentlicht 1980
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie
    von Heyting, Arend
    Veröffentlicht 1974
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  6. 6
    von Heyting, Arend
    Veröffentlicht 1963
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Intuitionism : an introduction
    von Heyting, Arend
    Veröffentlicht 1971
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Veröffentlicht 1959
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  9. 9
    von Heyting, Arend
    Veröffentlicht 1925
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Veröffentlicht 1959
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Katalogkarte der UB Frankfurt
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  12. 12
    von Heyting, Arend
    Veröffentlicht 1966
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  13. 13
    von Heyting, Arend
    Veröffentlicht 1934
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie
    von Heyting, Arend
    Veröffentlicht 1974
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Veröffentlicht 1968
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  16. 16
    von Heyting, Arend
    Veröffentlicht 1955
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  17. 17
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Intuitionism : an introduction
    von Heyting, Arend
    Veröffentlicht 1971
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  19. 19
    von Heyting, Arend
    Veröffentlicht 1956
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  20. 20
    von Heyting, Arend
    Veröffentlicht 1966
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: