On the logic of constructive mathematics

MaRDI QIDQ2555492zbMATH OpenFDO

Authors A. A. jun. Markoff

Publication date 1972

Published in Moscow University Mathematics Bulletin (Search for Journal in Brave)

Mathematics Subject Classification ID

Intermediate logics (03B55) Proof theory and constructive mathematics (03F99)

Cited in

(4)

• Extended fuzzy constructive logic
• On a finitary version of mathematical analysis
• Dual realizability in symmetric logic
• Fuzzy constructive logic

This page was built for publication: On the logic of constructive mathematics

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