přejít na obsah
Memoirs of a proof theorist : Gödel and other logicians Náhled dokumentu
ZavřítNáhled dokumentu
Probíhá kontrola...

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

Autor Gaisi Takeuti
Vydavatel: Singapore ; River Edge, NJ : World Scientific, ©2003.
Vydání/formát:   Kniha : English : Rev. edZobrazit všechny vydání a formáty
Databáze:WorldCat
Shrnutí:

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,  Přečíst více...

Hodnocení:

(ještě nehodnoceno) 0 zobrazit recenze - Buďte první.

Předmětová hesla:
Více podobných

 

Vyhledat exemplář v knihovně

&AllPage.SpinnerRetrieving; Vyhledávání knihoven, které vlastní tento dokument...

Detaily

Osoba: Kurt Gödel; Kurt Gödel; Kurt Gödel; Kurt Gödel
Typ dokumentu: Book
Všichni autoři/tvůrci: Gaisi Takeuti
ISBN: 9812382798 9789812382795
OCLC číslo: 52400536
Poznámky: Originally published as: Gēderu : Kurt Gödel. Tokyo : Nippon Hyoron Sha, 1986.
Translated from Japanese.
Popis: xviii, 135 p. : ill. ; 24 cm.
Obsahy: 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.
Jiné tituly: Gēderu.
Gödel and other logicians
Odpovědnost: [Gaisi Takeuti ; translated by] Mariko Yasugi, Nicholas Passell.

Recenze

Recenze vložené uživatelem
Nahrávání recenzí GoodReads...
Přebírání recenzí DOGO books...

Štítky

Buďte první.
Potvrdit tento požadavek

Tento dokument jste si již vyžádali. Prosím vyberte Ok pokud chcete přesto v žádance pokračovat.

Propojená 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

Zavřít okno

Prosím přihlaste se do WorldCat 

Nemáte účet? Můžete si jednoduše vytvořit bezplatný účet.