scientific article; zbMATH DE number 3819710

MaRDI QIDQ3666844zbMATH OpenFDO

Authors Dirk van Dalen

Publication date 1982

Full work available at URL https://eudml.org/doc/209242

zbMATH Keywords

creative subjectHeyting's arithmetic

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55)

Cited in

(2)

• The creating subject, the Brouwer-Kripke schema, and infinite proofs
• Constructive recursive functions, Church's thesis, and Brouwer's theory of the creating subject: afterthoughts on a Parisian joint session

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