-
1كتاب
المساهمون: Gödel, Kurt., Feferman, Solomon., Parsons, Charles, 1933-, Simpson, Stephen G. (Stephen George), 1945-
مصطلحات موضوعية: Logic, Symbolic and mathematical., logique mathématique -- Gödel, Kurt -- études diverses., preuve -- théorie -- Gödel, Kurt -- études diverses., mathématiques -- Gödel, Kurt -- études diverses., Biografieën (vorm)
Subject Person: Gödel, Kurt -- études diverses.
-
2كتاب
المساهمون: Baaz, Matthias.
مصطلحات موضوعية: MATHEMATICS / Logic., Gödel's theorem., Mathematics -- Philosophy., Gödel, Kurt
Subject Person: Gödel, Kurt.
-
3كتاب
المؤلفون: Goldstein, Rebecca
المساهمون: Jakobsson, Jim
مصطلحات موضوعية: Matematiker, Bevisteori
Subject Person: Gödel, Kurt, 1906-1978
جغرافية الموضوع: Förenta staterna, Österrike
Time: 1900-talet
-
4كتاب إلكتروني
-
5كتاب
المؤلفون: Goldstein, Rebecca
المساهمون: Jakobsson, Jim
مصطلحات موضوعية: Matematiker -- Förenta staterna, Matematiker -- Österrike, Bevisteori
Subject Person: Gödel, Kurt, 1906-1978
-
6كتاب
المساهمون: Horsten, Leon, editor., Welch, Philip, editor.
مصطلحات موضوعية: Mathematics -- Philosophy.
Subject Person: Gödel, Kurt.
-
7كتاب
-
8كتاب
المؤلفون: Bruni, Riccardo, 1974- author.
مصطلحات موضوعية: Logic, Symbolic and mathematical., Mathematics.
Subject Person: Gödel, Kurt.
-
9كتاب
المساهمون: Kennedy, Juliette, 1955- editor.
مصطلحات موضوعية: Logic, Symbolic and mathematical., Mathematics -- Philosophy., SCIENCE / Philosophy & Social Aspects.
Subject Person: Gödel, Kurt.
-
10كتاب
المؤلفون: Yourgrau, Palle.
مصطلحات موضوعية: Time -- History -- 20th century., History.
Subject Person: Gödel, Kurt -- Contributions in concept of time., Einstein, Albert, 1879-1955., Gödel, Kurt.