Kurt Gödel: Collected Works: Volume III Unpublished Essays and Lectures Gödel, Kurt Heftet / 2001 / Engelsk
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies Buchholz W. Heftet / 1981 / Engelsk
