doorgaan naar inhoud
Memoirs of a proof theorist : Gödel and other logicians Voorbeeldweergave van dit item
SluitenVoorbeeldweergave van dit item
Bezig met controle...

Memoirs of a proof theorist : Gödel and other logicians

Auteur: Gaisi Takeuti
Uitgever: Singapore ; River Edge, NJ : World Scientific, ©2003.
Editie/Formaat:   Boek : Engels : Rev. edAlle edities en materiaalsoorten bekijken.
Database:WorldCat
Samenvatting:

This volume is a translation of the book "Godel", written in Japanese by Gaisi Takeuti, a distinguished proof theorist. The core of the text is a memoir of K. Godel, Takeuti's personal recollections,  Meer lezen...

Beoordeling:

(nog niet beoordeeld) 0 met beoordelingen - U bent de eerste

Onderwerpen
Meer in deze trant

 

Zoeken naar een in de bibliotheek beschikbaar exemplaar

&AllPage.SpinnerRetrieving; Bibliotheken met dit item worden gezocht…

Details

Genoemd persoon: Kurt Gödel; Kurt Gödel; Kurt Gödel; Kurt Gödel
Soort document: Boek
Alle auteurs / medewerkers: Gaisi Takeuti
ISBN: 9812382798 9789812382795
OCLC-nummer: 52400536
Opmerkingen: Originally published as: Gēderu : Kurt Gödel. Tokyo : Nippon Hyoron Sha, 1986.
Translated from Japanese.
Beschrijving: xviii, 135 p. : ill. ; 24 cm.
Inhoud: On Godel; Work of Paul Bernays and Kurt Godel; Hilbert and Godel; Short Biographies of Logicians; Set Theory and Related Topics; From Hilbert to Godel; Axioms of Arithmetic and Consistency -- The Second Problem of Hilbert; A Report from Godel '96; Having Read " Godel Remembered"; A Tribute to the Memory of Professor Godel'; Appendices: On Godel's Continuum Hypothesis; Birth of Second Order Proof Theory by the Fundamental Conjecture on GLC.
Andere titels: Gēderu.
Gödel and other logicians
Verantwoordelijkheid: [Gaisi Takeuti ; translated by] Mariko Yasugi, Nicholas Passell.

Beoordelingen

Beoordelingen door gebruikers
Beoordelingen van GoodReads worden opgehaald...
Bezig met opvragen DOGObooks-reviews...

Tags

U bent de eerste.
Bevestig deze aanvraag

Misschien heeft u dit item reeds aangevraagd. Selecteer a.u.b. Ok als u toch wilt doorgaan met deze aanvraag.

Gekoppelde data


<http://www.worldcat.org/oclc/52400536>
library:oclcnum"52400536"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/52400536>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:bookEdition"Rev. ed."
schema:copyrightYear"2003"
schema:creator
schema:datePublished"2003"
schema:exampleOfWork<http://worldcat.org/entity/work/id/842073>
schema:inLanguage"en"
schema:name"Gödel and other logicians"
schema:name"Memoirs of a proof theorist : Gödel and other logicians"
schema:numberOfPages"135"
schema:publisher
schema:url
schema:workExample

Content-negotiable representations

Venster sluiten

Meld u aan bij WorldCat 

Heeft u geen account? U kunt eenvoudig een nieuwe gratis account aanmaken.