Publication:4281259
From MaRDI portal
zbMath0795.03083MaRDI QIDQ4281259
Publication date: 1 September 1994
Related Items
Kolmogorov Complexity in Perspective Part I: Information Theory and Randomness, Analyzing realizability by Troelstra's methods, A classical view of the intuitionistic continuum, Realizing Brouwer's sequences, Formally computing with the non-computable