scientific article; zbMATH DE number 3639576

MaRDI QIDQ4198461zbMATH OpenFDO

Authors Arend Heyting

Publication date 1978

zbMATH Keywords

foundation of mathematics in 20th century

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60)

Recommendations

• Foundations of Mathematics in the Twentieth Century
• scientific article; zbMATH DE number 1150714
• scientific article; zbMATH DE number 3863152
• The revolution of 1907 -- Brouwer's dissertation
• Mathematical logic and the foundations of mathematics. An introductory survey. Reprint of the 1963 orig

Cited in

(8)

• The first axiomatization of relevant logic
• Foundations of Mathematics in the Twentieth Century
• Set theory, symbolic logics and foundations of mathematics. Principal interests of the major figures, 1890--1940
• scientific article; zbMATH DE number 4023215 (Why is no real title available?)
• scientific article; zbMATH DE number 140504 (Why is no real title available?)
• Shaping the enemy: foundational labelling by L.E.J. Brouwer and A. Heyting
• Introduction
• A constructive interpretation of the logical constants

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4198461)