| 1863 | -- | 1865 | Cristian S. Calude, Hajime Ishihara. Constructivity, Computability, and Logic A Collection of Papers in Honour of the 60th Birthday of Douglas Bridges |
| 1865 | -- | 1877 | Marian Alexandru Baroni. Constructive Suprema |
| 1878 | -- | 1883 | Josef Berger. Constructive Equivalents of the Uniform Continuity Theorem |
| 1884 | -- | 1900 | Vasco Brattka, Ruth Dillhage. Computability of the Spectrum of Self-Adjoint Operators |
| 1901 | -- | 1903 | Gregory J. Chaitin. Algorithmic Irreducibility in a Cellular Automata Universe |
| 1904 | -- | 1931 | Jeremy Clark. Constructive Analysis of Iterated Rational Functions |
| 1932 | -- | 1944 | Thierry Coquand, Bas Spitters. Formal Topology and Constructive Mathematics: the Gelfand and Stone-Yosida Representation Theorems |
| 1945 | -- | 1962 | Robert Goldblatt. Axiomatic Classes of Intuitionistic Models |
| 1963 | -- | 1969 | Robin Havea. On Firmness of the State Space and Positive Elements of a Banach Algebra |
| 1970 | -- | 1985 | Peter Hertling. Nonrandom Sequences between Random Sequences |
| 1986 | -- | 1995 | Sara Negri. Permutability of Rules for Linear Lattices |
| 1996 | -- | 2007 | Erik Palmgren. Quotient Spaces and Coequalisers in Formal Topology |
| 2008 | -- | 2033 | Michael Rathjen. Constructive Set Theory and Brouwerian Principles |
| 2034 | -- | 2045 | Steve Reeves, David Streader. Constructing Programs or Processes |
| 2046 | -- | 2055 | Fred Richman. Constructive Aspects of Markov Chains |
| 2056 | -- | 2062 | Giovanni Sambin, Giorgio Trentinaglia. On the Meaning of Positivity Relations for Regular Formal Spaces |
| 2063 | -- | 2075 | Klaus-Dieter Schewe. Functional Dependencies with Counting on Trees |
| 2076 | -- | 2085 | Peter Schuster. What is Continuity, Constructively? |
| 2086 | -- | 2095 | Helmut Schwichtenberg. A Direct Proof of the Equivalence between Brouwer s Fan Theorem and König s Lemma with a Uniqueness Hypothesis |
| 2096 | -- | 2113 | Bas Spitters. Constructive Results on Operator Algebras |
| 2114 | -- | 2124 | Ludwig Staiger. Hausdorff Measure and Lukasiewicz Languages |
| 2125 | -- | 2131 | Doru Stefanescu. New Bounds for Positive Roots of Polynomials |
| 2132 | -- | 2141 | Dirk van Dalen. How the Mathematical Objects Determine the Mathematical Principles |
| 2142 | -- | 2158 | Wim Veldman. Perhaps the Intermediate Value Theorem |
| 2159 | -- | 2164 | Luminita Simona Vîta. On Complements of Sets and the Efremovic Condition in Pre-apartness Spaces |
| 2165 | -- | 2178 | Jan von Plato. A Constructive Approach to Sylvester s Conjecture |
| 2179 | -- | 0 | Mariko Yasugi, Yoshiki Tsujii, Takakazu Mori. Sequential Computability of a Function. Effective Fine Space and Limiting Recursion |