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
https://portal.mardi4nfdi.de/entity/Q44051221974-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40779761974-01-01Paper
Intuitionistic views on the nature of mathematics1974-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/Q55511031962-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55475551962-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
BLICK VON DER INTUITIONISTISCHEN WARTE1958-01-01Paper
https://portal.mardi4nfdi.de/entity/Q32614171958-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/Q58232841953-01-01Paper
https://portal.mardi4nfdi.de/entity/Q58205321953-01-01Paper
https://portal.mardi4nfdi.de/entity/Q58060821951-01-01Paper
https://portal.mardi4nfdi.de/entity/Q57960231950-01-01Paper
On weakened quantification1946-01-01Paper
https://portal.mardi4nfdi.de/entity/Q57822171941-01-01Paper
Untersuchungen über intuitionistische Algebra.1941-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
https://portal.mardi4nfdi.de/entity/Q47575311934-01-01Paper
Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie.1934-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

This page was built for person: Arend Heyting