zum Inhalt wechseln
Collected works Titelvorschau
SchließenTitelvorschau
Prüfung…

Collected works

Verfasser/in: Kurt Gödel; Solomon Feferman; Association for Symbolic Logic.
Verlag: Oxford : Oxford University Press, 1990
Ausgabe/Format   Print book : EnglischAlle Ausgaben und Formate anzeigen
Datenbank:WorldCat
Zusammenfassung:

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  Weiterlesen…

Bewertung:

(noch nicht bewertet) 0 mit Rezensionen - Verfassen Sie als Erste eine Rezension.

Themen
Ähnliche Titel

 

Online anzeigen

Links zu diesem Titel

Exemplar ausleihen

&AllPage.SpinnerRetrieving; Suche nach Bibliotheken, die diesen Titel besitzen ...

Details

Medientyp: Internetquelle
Dokumenttyp: Buch, Internet-Ressource
Alle Autoren: Kurt Gödel; Solomon Feferman; Association for Symbolic Logic.
ISBN: 0195039726 9780195039726 0195147219 9780195147216
OCLC-Nummer: 499082163
Mitwirkende: Prepared under the auspices of the Association for Symbolic Logic.
Beschreibung: xiv, 407 pages : illustrations, portraits ; 24 cm
Inhalt: 3. CONSISTENCY PROOF FOR THE GENERALIZED CONTINUUM HYPOTHESIS
Verfasserangabe: 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.
Weitere Informationen:

Rezensionen

Redaktionelle Rezension

Nielsen BookData

... 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 Weiterlesen…

 
Nutzer-Rezensionen
Suche nach GoodReads-Rezensionen
Suche nach DOGObooks-Rezensionen…

Tags

Tragen Sie als Erste Tags ein.

Ähnliche Titel

Verwandte Themen:(1)

Anfrage bestätigen

Sie haben diesen Titel bereits angefordert. Wenn Sie trotzdem fortfahren möchten, klicken Sie auf OK.

Verlinkung


Primary Entity

<http://www.worldcat.org/oclc/499082163> # Collected works
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "499082163" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/2792006335#Place/oxford> ; # Oxford
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   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/2792006335#Person/feferman_solomon_1928> ; # Solomon Feferman
   schema:creator <http://experiment.worldcat.org/entity/work/data/2792006335#Person/godel_kurt> ; # Kurt Gödel
   schema:datePublished "2001" ;
   schema:datePublished "1990" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/2792006335> ;
   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/2792006335#Agent/oxford_university_press> ; # Oxford University Press
   schema:url <http://www.gbv.de/dms/ilmenau/toc/125131631.PDF> ;
   schema:workExample <http://worldcat.org/isbn/9780195039726> ;
   schema:workExample <http://worldcat.org/isbn/9780195147216> ;
   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/2792006335#Agent/oxford_university_press> # Oxford University Press
    a bgn:Agent ;
   schema:name "Oxford University Press" ;
    .

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

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

<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://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

Fenster schließen

Bitte in WorldCat einloggen 

Sie haben kein Konto? Sie können sehr einfach ein kostenloses Konto anlegen,.