doorgaan naar inhoud
Collected works Voorbeeldweergave van dit item
SluitenVoorbeeldweergave van dit item
Bezig met controle...

Collected works

Auteur: Kurt Gödel; Solomon Feferman; Association for Symbolic Logic.
Uitgever: Oxford : Oxford University Press, 1990
Editie/Formaat:   Gedrukt boek : EngelsAlle edities en materiaalsoorten bekijken.
Database:WorldCat
Samenvatting:

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  Meer lezen...

Beoordeling:

(nog niet beoordeeld) 0 met beoordelingen - U bent de eerste

Onderwerpen
Meer in deze trant

 

Zoeken naar een online exemplaar

Links naar dit item

Zoeken naar een in de bibliotheek beschikbaar exemplaar

&AllPage.SpinnerRetrieving; Bibliotheken met dit item worden gezocht…

Details

Genre: Internetbron
Soort document Boek, Internetbron
Alle auteurs / medewerkers: Kurt Gödel; Solomon Feferman; Association for Symbolic Logic.
ISBN: 0195039726 9780195039726 0195147219 9780195147216
OCLC-nummer: 499082163
Credits: Prepared under the auspices of the Association for Symbolic Logic.
Beschrijving: xiv, 407 pages : illustrations, portraits ; 24 cm
Inhoud: 3. CONSISTENCY PROOF FOR THE GENERALIZED CONTINUUM HYPOTHESIS
Verantwoordelijkheid: 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.
Meer informatie

Beoordelingen

Professionele beoordelingen

Synopsis uitgever

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, Meer lezen...

 
Beoordelingen door gebruikers
Beoordelingen van GoodReads worden opgehaald...
Bezig met opvragen DOGObooks-reviews...

Tags

U bent de eerste.

Vergelijkbare items

Bevestig deze aanvraag

Misschien heeft u dit item reeds aangevraagd. Selecteer a.u.b. Ok als u toch wilt doorgaan met deze aanvraag.

Gekoppelde 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

Venster sluiten

Meld u aan bij WorldCat 

Heeft u geen account? U kunt eenvoudig een nieuwe gratis account aanmaken.