scientific article; zbMATH DE number 4135901
From MaRDI portal
History of mathematics in the 20th century (01A60) Collected or selected works; reprintings or translations of classics (01A75) Philosophical and critical aspects of logic and foundations (03A05) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55) Other constructive mathematics (03F65)
Recommendations
Cited in
(2)
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 Q3469074)