1. Computability in Europe 2008

   • Arnold Beckmann
   • Costas Dimitracopoulos
   • Benedikt Löwe

   Preface Open access 05 December 2009 Pages: 119 - 121

2. Setting-up early computer programs: D. H. Lehmer’s ENIAC computation

   • Maarten Bullynck
   • Liesbeth De Mol

   OriginalPaper 10 December 2009 Pages: 123 - 146

3. Kripke models for subtheories of CZF

   • Rosalie Iemhoff

   OriginalPaper Open access 10 December 2009 Pages: 147 - 167

4. The limitations of cupping in the local structure of the enumeration degrees

   • Mariya I. Soskova

   OriginalPaper 10 December 2009 Pages: 169 - 193

5. Joining to high degrees via noncuppables

   • Jiang Liu
   • Guohua Wu

   OriginalPaper 04 December 2009 Pages: 195 - 211

6. An ordinal analysis for theories of self-referential truth

   • Graham Emil Leigh
   • Michael Rathjen

   OriginalPaper 12 January 2010 Pages: 213 - 247

7. The basic theory of infinite time register machines

   • Merlin Carl
   • Tim Fischbach
   • Gregor Weckbecker

   OriginalPaper 12 January 2010 Pages: 249 - 273

8. A note on the theory of positive induction, \({{\rm ID}^*_1}\)

   • Bahareh Afshari
   • Michael Rathjen

   OriginalPaper 10 December 2009 Pages: 275 - 281