Gödel, Kurt

The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory by Kurt Gödel ( Book )
42 editions published between 1940 and 1993 in English and held by 671 libraries worldwide

Collected works by Kurt Gödel ( Book )
7 editions published between 1989 and 2003 in English and Spanish and held by 647 libraries worldwide

On formally undecidable propositions of Principia mathematica and related systems by Kurt Gödel ( Book )
27 editions published between 1930 and 2010 in 4 languages and held by 613 libraries worldwide

Foundations of mathematics. Symposium papers commemorating the sixtieth birthday of Kurt Gödel ( Book )
14 editions published in 1969 in English and held by 505 libraries worldwide

Frege and Gödel; two fundamental texts in mathematical logic by Jean Van Heijenoort ( Book )
5 editions published between 1970 and 1999 in English and Germanic and held by 493 libraries worldwide

Unpublished philosophical essays by Kurt Gödel ( Book )
4 editions published in 1995 in English and held by 167 libraries worldwide

Mathematical logic and its applications by Advanced International Summer School and Conference on Mathematical Logic and Its Applications ( Book )
6 editions published between 1987 and 1988 in English and held by 149 libraries worldwide

Kurt Gödel : essays for his centennial ( Book )
5 editions published in 2010 in English and held by 136 libraries worldwide
"Kurt Gödel (1906-1978) did groundbreaking work that transformed logic and other important aspects of our understanding of mathematics, especially his proof of the incompleteness of formalized arithmetic. This book on different aspects of his work and on subjects in which his ideas have contemporary resonance includes papers from a May 2006 symposium celebrating Gödel's centennial as well as papers from a 2004 symposium. Proof theory, set theory, philosophy of mathematics, and the editing of Gödel's writings are among the topics covered. Several chapters discuss his intellectual development and his relation to predecessors and contemporaries such as Hilbert, Carnap, and Herbrand. Others consider his views on justification in set theory in light of more recent work and contemporary echoes of his incompleteness theorems and the concept of constructible set"--Provided by publisher.

A course on mathematical logic by S. M Srivastava ( Book )
4 editions published in 2008 in English and held by 135 libraries worldwide

Collected works by Kurt Gödel ( Book )
11 editions published between 1986 and 2006 in English and Spanish and held by 123 libraries worldwide
Kurt Godel (1906-1978) was the most outstanding logician of the 20th century. This second volume of Godel's works collects the remainder of his published work, covering the period 1938-1974. Each article or closely related group of articles is preceded by an introductory note that elucidates it and places it in its historical context.