scientific article; zbMATH DE number 3325546
From MaRDI portal
Publication:5604441
zbMath0205.00502MaRDI QIDQ5604441
Dirk van Dalen, A. S. Troelstra
Publication date: 1970
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Realizing Brouwer's sequences ⋮ Theory of proofs (arithmetic and analysis) ⋮ Informal theory of choice sequences
This page was built for publication:
