Related Books

Kurt Gödel: Collected Works: Volume V
Language: en
Pages: 691
Authors: Kurt Gödel
Categories: Computers
Type: BOOK - Published: 2013-10 - Publisher:

DOWNLOAD EBOOK

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: Collected Works: Volume IV
Language: en
Pages: 692
Authors: Kurt Gödel
Categories: Biography & Autobiography
Type: BOOK - Published: 1986 - Publisher: Oxford University Press

DOWNLOAD EBOOK

Kurt Gödel was the most outstanding logician of the 20th century and a giant in the field. This book is part of a five volume set that makes available all of G
Kurt Gödel: Collected Works: Volume III
Language: en
Pages: 558
Authors: Kurt Gödel
Categories: Mathematics
Type: BOOK - Published: 1986 - Publisher: Oxford University Press, USA

DOWNLOAD EBOOK

"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
Kurt Gödel and the Foundations of Mathematics
Language: en
Pages: 541
Authors: Matthias Baaz
Categories: Mathematics
Type: BOOK - Published: 2011-06-06 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

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
Kurt Gödel: Collected Works: Volume V
Language: en
Pages: 691
Authors: Kurt Gödel
Categories: Computers
Type: BOOK - Published: 2013-10 - Publisher:

DOWNLOAD EBOOK

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