scientific article; zbMATH DE number 510786
From MaRDI portal
zbMath0795.03083MaRDI QIDQ4281259
Publication date: 1 September 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
A classical view of the intuitionistic continuum, Realizing Brouwer's sequences, Analyzing realizability by Troelstra's methods, Kolmogorov Complexity in Perspective Part I: Information Theory and Randomness, Formally computing with the non-computable