scientific article; zbMATH DE number 6418702

MaRDI QIDQ4982103zbMATH OpenFDO

Authors Nikolay N. Nepeivoda

Publication date 23 March 2015

zbMATH Keywords

application of constructivismcomputabilityconstructivismintuitionismrealizability

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55) Other constructive mathematics (03F65)

Cited in

(6)

• An eclectic view of the irish school of constructive mathematics \({\mathbf M}^\clubsuit _C\), from [Lukas 1978] to [Mac an Airchinnigh 2001]
• scientific article; zbMATH DE number 5994605 (Why is no real title available?)
• Applied Constructive Mathematics: On Hellman's 'Mathematical Constructivism in Spacetime'
• scientific article; zbMATH DE number 6154336 (Why is no real title available?)
• scientific article; zbMATH DE number 5241363 (Why is no real title available?)
• scientific article; zbMATH DE number 3305745 (Why is no real title available?)

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 Q4982103)