Kurt Gödel: Collected Works: Volume III