skip to content
Memoirs of a proof theorist : Gödel and other logicians Preview this item
ClosePreview this item
Checking...

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

Author: Mariko Yasugi; Nicholas Passell
Publisher: Singapore : World Scientific Publishing, 2003
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Summary:

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,  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: Mariko Yasugi; Nicholas Passell
ISBN: 9812382798 9789812382795
OCLC Number: 465478030
Description: xviii, 135 s.
Contents: 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.
Responsibility: Mariko Yasugi, Nicholas Passell
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Related Subjects:(1)

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/465478030> # Memoirs of a proof theorist : Gödel and other logicians
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "465478030" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/si> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/842073#Place/singapore> ; # Singapore
   schema:about <http://experiment.worldcat.org/entity/work/data/842073#Topic/matematisk_logik> ; # matematisk logik
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/163876948> ; # Nicholas Passell
   schema:creator <http://viaf.org/viaf/19910446> ; # Mariko Yasugi
   schema:datePublished "2003" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/842073> ;
   schema:inLanguage "en" ;
   schema:name "Memoirs of a proof theorist : Gödel and other logicians" ;
   schema:productID "465478030" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/465478030#PublicationEvent/singapore_world_scientific_publishing_2003> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/842073#Agent/world_scientific_publishing> ; # World Scientific Publishing
   schema:workExample <http://worldcat.org/isbn/9789812382795> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/465478030> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/842073#Agent/world_scientific_publishing> # World Scientific Publishing
    a bgn:Agent ;
   schema:name "World Scientific Publishing" ;
    .

<http://viaf.org/viaf/163876948> # Nicholas Passell
    a schema:Person ;
   schema:familyName "Passell" ;
   schema:givenName "Nicholas" ;
   schema:name "Nicholas Passell" ;
    .

<http://viaf.org/viaf/19910446> # Mariko Yasugi
    a schema:Person ;
   schema:familyName "Yasugi" ;
   schema:givenName "Mariko" ;
   schema:name "Mariko Yasugi" ;
    .

<http://worldcat.org/isbn/9789812382795>
    a schema:ProductModel ;
   schema:isbn "9812382798" ;
   schema:isbn "9789812382795" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.