scientific article; zbMATH DE number 3325546

MaRDI QIDQ5604441zbMATH OpenFDO

Authors Dirk van Dalen, A. S. Troelstra

Publication date 1970

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55)

Cited in

(3)

• Theory of proofs (arithmetic and analysis)
• Informal theory of choice sequences
• Realizing Brouwer's sequences

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