scientific article; zbMATH DE number 3819710

zbMATH Open0518.03025MaRDI QIDQ3666844FDOQ3666844

Dirk van Dalen

Publication date: 1982

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

Title of this publication is not available (Why is that?)

zbMATH Keywords

creative subjectHeyting's arithmetic

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55)

Cited In (2)

• Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session
• The creating subject, the Brouwer-Kripke schema, and infinite proofs

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)