Kurt Gödel: Collected Works: Volume II - innbundet, Engelsk, 1990