Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] (ISNI Number (ISN:)) 000000011031567X | 1 hits
Person
ISNI: 
0000 0001 1031 567X
Name: 
Gkentel, Kourt
Gödel, K.
Gödel, Kurt
Gödel, Kurt Friedrich
Goedel
Goedel, Kurt
גדל
גדל, קורט
ゲーデル, クルト
Dates: 
1906-1978
Creation class: 
article
Language material
Text
Creation role: 
author
Related names: 
Association for Symbolic Logic
Braithwaite, Richard Bevan (1900-1990))
Feferman, Solomon
Frege, Gottlob (1848-1925)
Lourenço, M. S. (1936-2009)
Meltzer, B.
Mosterín, Jesús (1941-)
Nagel, Ernest
Newman, James R.
Rodríguez-Consuegra, Francisco A.
Van Heijenoort, Jean (1912-1986)
近藤, 洋逸 (1911-1979)
Titles: 
1: Publications 1929-1936 ; edited by Solomon Feferman (editor-in-chief) ... [et al.!
2: Publications 1938-1974 ; edited by Solomon Feferman (editor-in-chief) ... [et al.!
5: Corrispondenza H-Z
Apo tēn paranoia stous algorithmous, 2006:
Collected works. Vol. 1, Publications 1929-1936, 1986:
consistency of the axiom of choice ... 1940., The
consistency of the axiom of choice and of the generalized continuum-hypothesis with the axiom of set theory, The
consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory, The
Correspondence A-G
Correspondence H-Z
Démonstration, par Kurt Gödel, de la comptabilité de l'axiome du choix et de l'hypothèse généralisée du continu avec les axiomes de la théorie des ensembles, Jean Balibar,... Lecture commentée d'une méta-démonstration de Gödel. La
Ensayos inéditos
Filosofické eseje
Foundations of mathematics : symposium papers commemorating the sixtieth birthday of Kurt Gödel [read during the 75th Anniversary meeting of the Ohio Academy of Science, Columbus, on April 22, 1966]
Frege and Gödel : two fundamental text in mathematical logic
Frege and Gödel, Two fundamental texts in mathematical logic
Fukanzensei teiri
GDEL. Collected works
Gēderu mikan tetsugaku ronkō
Gödel, Escher, Bach
Gödel logique à la folie
Goedelov dokaz
Kurt Gödel essays for his centennial
Kurt Gödel : Wahrheit & Beweisbarkeit
Mathematical logic and its applications
Obras completas
On Formally undecidable propositions of "Principia mathematica" and related systems [Über formal unentscheidbare Sätze der Principia mathematica und verwandter Systeme I]. Translated by B. Meltzer, with an introduction by R. B. Braithwaite, Kurt Gödel.
P equals NP question and Gödel's lost letter
P=NP question and Gödel's lost letter, The
principia mathematica
Selected correspondence, A-G
Selected correspondence, H-Z
Sentences undecidable in formalized arithmetic, an exposition of the theory of Kurt Gödel
Sobre proposiciones formalmente indecidibles de los Principia Mathematica y sistemas afines I
Sūgaku kisoron : Senshutsu kōri oyobi ippan renzoku kasetsu no shūgōron kōri tono mu mujunsei
teorema de Gödel e a hipótese do contínuo antologia, O
théorème de Gödel, Le
Über formal unentscheidbare Sätze der Principia Mathematica und verwander Systeme I
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.
Unpublished essays and lectures
Unpublished philosophical essays
Works.
ゲーデル未刊哲学論稿
不完全性定理
数学基礎論 : 撰出公理及び一般連続仮說の集合論公理との無矛盾性
Contributed to or performed: 
MONATSHEFTE FUR MATHEMATIK
Notes: 
Sources: 
VIAF BNC BNE BNF ICCU LC LNB NDL NKC NLI NSK NTA NUKAT PTBNP SELIBR SUDOC WKP
ZETO