Back ارند هيتينج ARZ آرند هیتینق AZB Arend Heyting Catalan Arend Heyting English Arend Heyting Spanish آرند هیتینگ Persian Arend Heyting French Arend Heyting Italian アレン・ハイティング Japanese 아런트 헤이팅 Korean
.jpg)
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.