Special issue: Gödel's dialectica interpretation - Strahm, Thomas (Blackwell, 2008)
Keywords: Gödel, Kurt -- 1906-1978; Aufsatzsammlung