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:   book_printbook : 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 pages : illustrations ; 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>
bgn:translationOfWork
library:oclcnum"52400536"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:alternateName"Gödel and other logicians"@en
schema:bookEdition"Rev. ed."
schema:copyrightYear"2003"
schema:creator
schema:datePublished"2003"
schema:exampleOfWork
schema:inLanguage"en"
schema:name"Memoirs of a proof theorist : Gödel and other logicians"@en
schema:publication
schema:publisher
schema:workExample
wdrs:describedby

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.