passa ai contenuti
Collected works Anteprima di questo documento
ChiudiAnteprima di questo documento
Stiamo controllando…

Collected works

Autore: Kurt Gödel; Solomon Feferman; Association for Symbolic Logic.
Editore: Oxford : Oxford University Press, 1990
Edizione/Formato:   book_printbook : EnglishVedi tutte le edizioni e i formati
Banca dati:WorldCat
Sommario:

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  Per saperne di più…

Voto:

(non ancora votato) 0 con commenti - Diventa il primo.

Soggetti
Altri come questo

 

Trova una copia online

Collegamenti a questo documento

Trova una copia in biblioteca

&AllPage.SpinnerRetrieving; Stiamo ricercando le biblioteche che possiedono questo documento…

Dettagli

Tipo materiale: Risorsa internet
Tipo documento: Book, Internet Resource
Tutti gli autori / Collaboratori: Kurt Gödel; Solomon Feferman; Association for Symbolic Logic.
ISBN: 0195039726 9780195039726 0195147219 9780195147216
Numero OCLC: 499082163
Riconoscimenti: Prepared under the auspices of the Association for Symbolic Logic.
Descrizione: xiv, 407 pages : illustrations, portraits ; 24 cm
Contenuti: 3. CONSISTENCY PROOF FOR THE GENERALIZED CONTINUUM HYPOTHESIS
Responsabilità: 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.
Maggiori informazioni:

Commenti

Recensioni editoriali

Sinossi editore

... the presentation is impeccable. The introductory notes which explicate Godel's thought are notable papers in themselves ... Such is the thoroughness of the enterprise in making Godel's work Per saperne di più…

 
Commenti degli utenti
Recuperando commenti GoodReads…
Stiamo recuperando commenti DOGObooks

Etichette

Diventa il primo.

Documenti simili

Soggetti correlati:(1)

Conferma questa richiesta

Potresti aver già richiesto questo documento. Seleziona OK se si vuole procedere comunque con questa richiesta.

Dati collegati


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://viaf.org/viaf/142787442> ; # 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#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/142787442> # Association for Symbolic Logic.
    a schema:Organization ;
   schema:name "Association for Symbolic Logic." ;
    .

<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

Chiudi finestra

Per favore entra in WorldCat 

Non hai un account? Puoi facilmente crearne uno gratuito.