Special issue: Gödel's dialectica interpretation - Strahm, Thomas (Dialectica, 2008)