skip to content
Collected works Preview this item
ClosePreview this item
Checking...

Collected works

Author: Kurt Gödel; Solomon Feferman; Association for Symbolic Logic.
Publisher: Oxford : Oxford University Press, 1990
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

This second volume of a comprehensive edition of logician Godel's works collects together all his publications from 1938 to 1974. Together with Volume I, it makes available for the first time in a  Read more...

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

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Kurt Gödel; Solomon Feferman; Association for Symbolic Logic.
ISBN: 0195039726 9780195039726 0195147219 9780195147216
OCLC Number: 499082163
Credits: Prepared under the auspices of the Association for Symbolic Logic.
Description: xiv, 407 pages : illustrations, portraits ; 24 cm
Contents: 3. CONSISTENCY PROOF FOR THE GENERALIZED CONTINUUM HYPOTHESIS
Responsibility: Kurt Gödel ; edited by Solomon Feferman (editor-in-chief) [and others] ; prepared under the auspices of the Association for Symbolic Logic. Vol. 2, Publications 1938-1974.
More information:

Reviews

Editorial reviews

Publisher Synopsis

The books are carefully and beautifully produced and offer rich material, illuminating not only the outstanding work of Godel, but also the whole mathematical logic of the twentieth century, Read more...

 
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/499082163> # Collected works
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "499082163" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/3943438487#Place/oxford> ; # Oxford
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://dewey.info/class/164/> ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/3943438487#Organization/association_for_symbolic_logic> ; # Association for Symbolic Logic.
   schema:contributor <http://experiment.worldcat.org/entity/work/data/3943438487#Person/feferman_solomon_1928> ; # Solomon Feferman
   schema:creator <http://viaf.org/viaf/97851774> ; # Kurt Gödel
   schema:datePublished "2001" ;
   schema:datePublished "1990" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/3943438487> ;
   schema:inLanguage "en" ;
   schema:name "Collected works"@en ;
   schema:productID "499082163" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/499082163#PublicationEvent/oxford_oxford_university_press_1990_2001_printing> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/3943438487#Agent/oxford_university_press> ; # Oxford University Press
   schema:url <http://www.gbv.de/dms/ilmenau/toc/125131631.PDF> ;
   schema:workExample <http://worldcat.org/isbn/9780195147216> ;
   schema:workExample <http://worldcat.org/isbn/9780195039726> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA164424> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/499082163> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/3943438487#Agent/oxford_university_press> # Oxford University Press
    a bgn:Agent ;
   schema:name "Oxford University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/3943438487#Organization/association_for_symbolic_logic> # Association for Symbolic Logic.
    a schema:Organization ;
   schema:name "Association for Symbolic Logic." ;
    .

<http://experiment.worldcat.org/entity/work/data/3943438487#Person/feferman_solomon_1928> # Solomon Feferman
    a schema:Person ;
   schema:birthDate "1928" ;
   schema:familyName "Feferman" ;
   schema:givenName "Solomon" ;
   schema:name "Solomon Feferman" ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://viaf.org/viaf/97851774> # Kurt Gödel
    a schema:Person ;
   schema:familyName "Gödel" ;
   schema:givenName "Kurt" ;
   schema:name "Kurt Gödel" ;
    .

<http://worldcat.org/isbn/9780195039726>
    a schema:ProductModel ;
   schema:isbn "0195039726" ;
   schema:isbn "9780195039726" ;
    .

<http://worldcat.org/isbn/9780195147216>
    a schema:ProductModel ;
   schema:isbn "0195147219" ;
   schema:isbn "9780195147216" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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