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: Gaisi Takeuti
Publisher: River Edge, NJ : World Scientific, ©2003.
Edition/Format:   eBook : Document : English : [Rev. ed.]View all editions and formats
Database:WorldCat
Rating:

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

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

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

Details

Genre/Form: Electronic books
Named Person: Kurt Gödel; Kurt Gödel; Kurt Gödel
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Gaisi Takeuti
OCLC Number: 646768264
Description: 1 online resource (xviii, 135 pages) : illustrations
Other Titles: Gēderu.
Proof theorist
Responsibility: [by Gaisi Takeuti ; translated by] Mariko Yasugi, Nicholas Passell.

Reviews

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

Tags

Be the first.

Similar Items

Related Subjects:(2)

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/646768264> # Memoirs of a proof theorist : Gödel and other logicians
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
    bgn:translationOfWork <http://www.worldcat.org/title/-/oclc/646768264#CreativeWork/unidentifiedOriginalWork> ; # Gēderu.
    library:oclcnum "646768264" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/842073#Place/river_edge_nj> ; # River Edge, NJ
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nju> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/842073#Person/godel_kurt> ; # Kurt Gödel
    schema:about <http://id.worldcat.org/fast/1078942> ; # Proof theory
    schema:alternateName "Proof theorist" ;
    schema:bookEdition "[Rev. ed.]." ;
    schema:bookFormat schema:EBook ;
    schema:copyrightYear "2003" ;
    schema:creator <http://viaf.org/viaf/64133112> ; # Gaisi Takeuti
    schema:datePublished "2003" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/842073> ; # Gēderu.
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:name "Memoirs of a proof theorist : Gödel and other logicians"@en ;
    schema:productID "646768264" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/646768264#PublicationEvent/river_edge_nj_world_scientific_2003> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/842073#Agent/world_scientific> ; # World Scientific
    schema:url <http://site.ebrary.com/id/10255483> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/646768264> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/842073#Person/godel_kurt> # Kurt Gödel
    a schema:Person ;
    schema:familyName "Gödel" ;
    schema:givenName "Kurt" ;
    schema:name "Kurt Gödel" ;
    .

<http://experiment.worldcat.org/entity/work/data/842073#Place/river_edge_nj> # River Edge, NJ
    a schema:Place ;
    schema:name "River Edge, NJ" ;
    .

<http://id.worldcat.org/fast/1078942> # Proof theory
    a schema:Intangible ;
    schema:name "Proof theory"@en ;
    .

<http://viaf.org/viaf/64133112> # Gaisi Takeuti
    a schema:Person ;
    schema:birthDate "1926" ;
    schema:familyName "Takeuti" ;
    schema:givenName "Gaisi" ;
    schema:name "Gaisi Takeuti" ;
    .

<http://worldcat.org/entity/work/id/842073> # Gēderu.
    schema:name "Gēderu." ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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