Arend Heyting

From MaRDI portal
Person:1220900

Available identifiers

zbMath Open heyting.arendDBLP90/5387WikidataQ641771 ScholiaQ641771MaRDI QIDQ1220900

List of research outcomes

PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q42660291999-10-04Paper
https://portal.mardi4nfdi.de/entity/Q39461631981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39020951980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41984611978-01-01Paper
Intuitionistic views on the nature of mathematics1974-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40779761974-01-01Paper
https://portal.mardi4nfdi.de/entity/Q44051221974-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56368391972-01-01Paper
Intuitionism. An introduction. 3rd revised ed1971-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56031811970-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55770781969-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55823091969-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55739481967-01-01Paper
In memoriam Evert Willem Beth (1909--1964)1966-01-01Paper
Remarques sur la théorie intuitionniste des espaces linéaires1966-01-01Paper
https://portal.mardi4nfdi.de/entity/Q53291441965-01-01Paper
https://portal.mardi4nfdi.de/entity/Q53386381964-01-01Paper
https://portal.mardi4nfdi.de/entity/Q57216391963-01-01Paper
https://portal.mardi4nfdi.de/entity/Q57326541963-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55475551962-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55511031962-01-01Paper
https://portal.mardi4nfdi.de/entity/Q57247831961-01-01Paper
https://portal.mardi4nfdi.de/entity/Q32563221959-01-01Paper
https://portal.mardi4nfdi.de/entity/Q32683101959-01-01Paper
https://portal.mardi4nfdi.de/entity/Q32614171958-01-01Paper
BLICK VON DER INTUITIONISTISCHEN WARTE1958-01-01Paper
https://portal.mardi4nfdi.de/entity/Q32411271957-01-01Paper
Intuitionism. An introduction1956-01-01Paper
https://portal.mardi4nfdi.de/entity/Q58505321955-01-01Paper
https://portal.mardi4nfdi.de/entity/Q58297821954-01-01Paper
https://portal.mardi4nfdi.de/entity/Q58298821954-01-01Paper
https://portal.mardi4nfdi.de/entity/Q58205321953-01-01Paper
https://portal.mardi4nfdi.de/entity/Q58232841953-01-01Paper
https://portal.mardi4nfdi.de/entity/Q58060821951-01-01Paper
https://portal.mardi4nfdi.de/entity/Q57960231950-01-01Paper
On weakened quantification1946-01-01Paper
Untersuchungen über intuitionistische Algebra.1941-01-01Paper
https://portal.mardi4nfdi.de/entity/Q57822171941-01-01Paper
Intuitionistische Mathematik.1939-01-01Paper
https://portal.mardi4nfdi.de/entity/Q57728011939-01-01Paper
Ruimteleer en axiomatiek.1937-01-01Paper
Intuitionistische wiskunde. III.1936-01-01Paper
Intuitionistische wiskunde. IV.1936-01-01Paper
De ontwikkeling van de intuitionistische wiskunde.1936-01-01Paper
Bemerkungen zu dem Aufsatz von Herrn Freudenthal ``Zur intuitionistischen Deutung logischer Formeln.1936-01-01Paper
https://portal.mardi4nfdi.de/entity/Q57639951936-01-01Paper
https://portal.mardi4nfdi.de/entity/Q57643691936-01-01Paper
Intuitionistische Wiskunde. V.1936-01-01Paper
Intuitionistische wiskunde.1935-01-01Paper
Intuitionistische wiskunde. II.1935-01-01Paper
Intuitionistische wiskunde. II.1935-01-01Paper
Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie.1934-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47575311934-01-01Paper
Anwendung der intuitionistischen Logik auf die Definition der Vollständigkeit eines Kalküls.1932-01-01Paper
A propos d'un article de MM. Barzin et Errera.1932-01-01Paper
Sur la logique intuitionniste.1932-01-01Paper
Die intuitionistische Grundlegung der Mathematik.1931-01-01Paper
Die intuitionistische Mathematik.1931-01-01Paper
https://portal.mardi4nfdi.de/entity/Q44788341931-01-01Paper
Die formalen Regeln der intuitionistischen Logik. I, II, III.1930-01-01Paper
Sur la logique intuitionniste.1930-01-01Paper
De telbaarheidspraedicaten van Prof. Brouwer.1929-01-01Paper
Die Theorie der linearen Gleichungen in einer Zahlenspezies mit nichtkommutativer Multiplikation.1927-01-01Paper
Zur intuitionistischen Axiomatik der projektiven Geometrie.1927-01-01Paper
Technische vaardigheid.1926-01-01Paper
Intuitionistische axiomatiek der projektieve meetkunde.1925-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Arend Heyting