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