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

Kurt Gödel (1906 - 1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incomplete

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

"Anyone interested in the life and work of Kurt Gödel, or in the history of mathematical logic in this century, is indebted to all of the contributors to this

This volume commemorates the life, work and foundational views of Kurt Gödel (1906–78), most famous for his hallmark works on the completeness of first-order