Kurt Gödel (1906 - 1978) was the most outstanding logician of the twentieth century. These collected works form the only comprehensive edition of Gödel's work available and are designed to be useful and accessible to as wide an audience as possible without sacrificing scientific or historical accuracy. Each item in the volume (Volume III) carries an introduction written by a leading expert, and there are detailed textual notes at the end of the book. The editorial standards are extremely high throughout