0 | -- | 0 | Vasco Brattka, Peter Hertling, Mariko Yasugi, Ning Zhong. Preface: MLQ - Math. Log. Quart. Supplement 1/2002 |
1 | -- | 15 | Andrej Bauer. A Relationship between Equilogical Spaces and Type Two Effectivity |
16 | -- | 28 | Douglas S. Bridges, Peter Schuster, Luminita Vîta. Apartness, Topology, and Uniformity: a Constructive View |
29 | -- | 40 | Rodney G. Downey, Sebastiaan Terwijn. Computably Enumerable Reals and Uniformly Presentable Ideals |
41 | -- | 44 | Martín Hötzel Escardó, Thomas Streicher. In Domain Realizability, not all Functionals on ::::C::::[-1, 1] are Continuous |
45 | -- | 58 | Marco Gori, Klaus Meer. A Step towards a Complexity Theory for Analog Systems |
59 | -- | 65 | Ulrich Kohlenbach. On Weak Markov s Principle |
66 | -- | 77 | Paulo Oliva. On the Computational Complexity of Best ::::L::::::1::-approximation |
78 | -- | 90 | Matthias Schröder. Effectivity in Spaces with Admissible Multirepresentations |
91 | -- | 106 | Dimiter Skordev. Computability of Real Numbers by Using a Given Class of Functions in the Set of the Natural Numbers |
107 | -- | 122 | Bas Spitters. Located Operators |
123 | -- | 130 | Mariko Yasugi, Yoshiki Tsujii, Takakazu Mori. Metrization of the Uniform Space and Effective Convergence |
131 | -- | 156 | Xizhong Zheng. Recursive Approximability of Real Numbers |
157 | -- | 181 | Martin Ziegler. Computability on Regular Subsets of Euclidean Space |